// Ġ! 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 Ċ fun Ġcase _ 1 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠString ? Ġ= Ġnull ĊĊĠĠĠ Ġouter @ Ġwhile Ġ( x Ġ!= Ġnull ) Ġ{ ĊĠĠĠĠĠĠĠ Ġinner @ Ġdo Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠĠĠĠĠ Ġ} Ġwhile Ġ( x Ġ== Ġnull ) ĊĠĠĠĠĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . String ? Ġ& Ġkotlin . String ") !> x <! > ĊĠĠĠĠĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . String ? Ġ& Ġkotlin . String ") !> x <! >. length ĊĠĠĠ Ġ} Ċ } Ċ