// Ġ! LANGUAGE : Ġ+ New Inference Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ VARIABLE Ġ- ASS IGNED _ B UT _ NE VER _ ACC ES SED _ VARIABLE Ġ- UNUSED _ VALUE Ġ- UNUSED _ PARAMETER Ġ- UNUSED _ EXPRESSION Ċ // ĠSKIP _ TXT Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 1 Ċ Ġ* ĠNOTE : Ġan Ġidentifier Ġreferring Ġto Ġa Ġun mutable Ġproperty Ċ Ġ*/ Ċ fun Ġcase 1 () Ġ{ ĊĠĠĠ Ġval Ġx Ġ: ĠAny ĊĠĠĠ Ġx Ġ= Ġ" 0 " ĊĠĠĠ Ġ<! VAL _ RE ASSIGN MENT !> x <! > Ġ= Ġ 1 ĊĠĠĠ Ġ<! VAL _ RE ASSIGN MENT !> x <! > Ġ= Ġ 2 . 0 ĊĊĠĠĠ Ġval Ġy Ġ: ĠAny Ġ= Ġ 0 ĊĠĠĠ Ġ<! VAL _ RE ASSIGN MENT !> y <! > Ġ= Ġ" 0 " ĊĠĠĠ Ġ<! VAL _ RE ASSIGN MENT !> y <! > Ġ= Ġ 1 . 0 Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 2 Ċ Ġ* ĠNOTE : Ġan Ġidentifier Ġreferring Ġto Ġa Ġun mutable Ġproperty Ċ Ġ*/ Ċ fun Ġcase 2 () Ġ{ ĊĠĠĠ Ġval Ġx Ġ: ĠAny ĊĠĠĠ Ġmutable ListOf ( 0 ). forEach ({ Ġ<! VAL _ RE ASSIGN MENT !> x <! > Ġ= Ġit Ġ}) ĊĊĠĠĠ Ġval Ġy Ġ: ĠAny Ġ= Ġ 1 ĊĠĠĠ Ġmutable ListOf ( 1 ). forEach ({ Ġ<! VAL _ RE ASSIGN MENT !> y <! > Ġ= Ġit Ġ}) Ċ } Ċ