// Ġ! LANGUAGE : Ġ+ New Inference Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ EXPRESSION Ġ- UNUSED _ PARAMETER Ġ- UNUSED _ VARIABLE Ġ- UNUSED _ VALUE Ġ- VARIABLE _ WITH _ RED UND ANT _ INITIAL IZER Ċ // ĠSKIP _ TXT Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 1 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 4 6 5 2 Ċ Ġ*/ Ċ fun Ġcase _ 1 () Ġ{ ĊĠĠĠ Ġval Ġx : ĠString ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġprintln ( x Ġ?: Ġbreak ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . String ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . String ?") !> x <! >. <! IN AP PL IC ABLE _ C AND ID ATE !> length <! > Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 2 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 4 6 5 2 Ċ Ġ*/ Ċ fun Ġcase _ 2 ( y : ĠMutable List < Int >) Ġ{ ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġy [ x Ġ?: Ġbreak ] Ġ= Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. inv () Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 3 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 4 6 5 2 Ċ Ġ*/ Ċ fun Ġcase _ 3 ( y : ĠMutable List < Int >) Ġ{ ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġy [ 0 ] Ġ= Ġx Ġ?: Ġbreak ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. inv () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 4 Ċ fun Ġcase _ 4 () Ġ{ ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġx Ġ?: Ġbreak ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. inv () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 5 Ċ fun Ġcase _ 5 ( y : ĠBoolean ) Ġ{ ĊĠĠĠ Ġval Ġx : ĠBoolean ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġy Ġ&& Ġ( x Ġ?: Ġbreak ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ?") !> x <! >. <! IN AP PL IC ABLE _ C AND ID ATE !> not <! >() Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 6 Ċ fun Ġcase _ 6 ( y : ĠBoolean ) Ġ{ ĊĠĠĠ Ġval Ġx : ĠBoolean ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġy Ġ|| Ġ( x Ġ?: Ġbreak ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ?") !> x <! >. <! IN AP PL IC ABLE _ C AND ID ATE !> not <! >() Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 7 Ċ fun Ġcase _ 7 ( y : ĠBoolean ?) Ġ{ ĊĠĠĠ Ġval Ġx : ĠBoolean ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġy Ġ?: Ġx Ġ?: Ġbreak ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Boolean ?") !> x <! >. <! IN AP PL IC ABLE _ C AND ID ATE !> not <! >() Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 8 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 4 6 5 2 Ċ Ġ*/ Ċ fun Ġcase _ 8 () Ġ{ ĊĠĠĠ Ġvar Ġy : ĠInt Ġ= Ġ 1 0 ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġy Ġ+= Ġx Ġ?: Ġbreak ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. inv () Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 9 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 4 6 5 2 Ċ Ġ*/ Ċ fun Ġcase _ 9 () Ġ{ ĊĠĠĠ Ġvar Ġy : ĠInt Ġ= Ġ 1 0 ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġy Ġ-= Ġx Ġ?: Ġbreak ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. inv () Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 1 0 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 4 6 5 2 Ċ Ġ*/ Ċ fun Ġcase _ 1 0 () Ġ{ ĊĠĠĠ Ġvar Ġy : ĠInt Ġ= Ġ 1 0 ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġz Ġ= Ġy Ġ- Ġ( x Ġ?: Ġbreak ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. inv () Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 1 1 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 4 6 5 2 Ċ Ġ*/ Ċ fun Ġcase _ 1 1 () Ġ{ ĊĠĠĠ Ġvar Ġy : ĠInt Ġ= Ġ 1 0 ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġz Ġ= Ġy Ġ* Ġ( x Ġ?: Ġbreak ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. inv () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 1 2 Ċ fun Ġcase _ 1 2 () Ġ{ ĊĠĠĠ Ġvar Ġy : ĠInt Ġ= Ġ 1 0 ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġy Ġ+= Ġif Ġ( x Ġ== Ġnull ) Ġbreak Ġelse Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. inv () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 1 3 Ċ fun Ġcase _ 1 3 () Ġ{ ĊĠĠĠ Ġvar Ġy : ĠInt Ġ= Ġ 1 0 ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġz Ġ= Ġy Ġ* Ġif Ġ( x Ġ!= Ġnull ) Ġbreak Ġelse Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int Ġ& Ġkotlin . Int ?") !> x <! > ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int Ġ& Ġkotlin . Int ?") !> x <! >. inv () Ċ } Ċ