// Ġ! LANGUAGE : Ġ+ New Inference Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ EXPRESSION Ġ- UNUSED _ VARIABLE Ġ- UNUSED _ VALUE Ċ // ĠSKIP _ TXT Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 1 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 1 9 4 4 6 Ċ Ġ*/ Ċ fun Ġcase _ 1 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠBoolean ? Ġ= Ġtrue ĊĠĠĠ Ġx !! ĊĠĠĠ Ġval Ġy Ġ= Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġx : ĠInt ? ĊĠĠĠĠĠĠĠ Ġx Ġ= Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ? Ġ& Ġkotlin . Boolean ") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ? Ġ& Ġkotlin . Boolean ") !> x <! >. equals ( 1 0 ) Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 2 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 1 9 4 4 6 Ċ Ġ*/ Ċ fun Ġcase _ 2 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠBoolean ? Ġ= Ġtrue ĊĠĠĠ Ġx !! ĊĠĠĠ Ġval Ġy Ġ= Ġ{ ĊĠĠĠĠĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠĠĠĠĠ Ġx Ġ= Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ? Ġ& Ġkotlin . Boolean ") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ? Ġ& Ġkotlin . Boolean ") !> x <! >. equals ( 1 0 ) Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 3 Ċ fun Ġcase _ 3 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠBoolean ? Ġ= Ġtrue ĊĠĠĠ Ġx !! ĊĠĠĠ Ġval Ġy Ġ= Ġ{ ĊĠĠĠĠĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ? Ġ& Ġkotlin . Boolean ") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ? Ġ& Ġkotlin . Boolean ") !> x <! >. equals ( 1 0 ) Ċ } Ċ