// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ @ Dsl Marker Ċ annotation Ġclass ĠAnn Ċ Ċ @ Ann Ċ class ĠA Ġ{ ĊĠĠĠ Ġvar Ġa Ġ= Ġ 1 Ċ } Ċ Ċ var ĠA . a 1 : ĠInt ĊĠĠĠ Ġget () Ġ= Ġ 1 ĊĠĠĠ Ġset ( value ) Ġ{} Ċ Ċ @ Ann Ċ class ĠB Ġ{ ĊĠĠĠ Ġvar Ġb Ġ= Ġ 2 Ċ } Ċ Ċ var ĠB . b 1 : ĠInt ĊĠĠĠ Ġget () Ġ= Ġ 1 ĊĠĠĠ Ġset ( value ) Ġ{} Ċ Ċ fun Ġfoo ( x : ĠA . () Ġ-> ĠUnit ) Ġ{} Ċ fun Ġbar ( x : ĠB . () Ġ-> ĠUnit ) Ġ{} Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġfoo Ġ{ ĊĠĠĠĠĠĠĠ Ġa Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠ Ġa Ġ+= Ġa Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠ Ġa ++ ĊĊĠĠĠĠĠĠĠ Ġa 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠ Ġa 1 Ġ+= Ġa 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠ Ġa 1 ++ ĊĊĠĠĠĠĠĠĠ Ġbar Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġa Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġa Ġ+= Ġa Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġa ++ ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġa 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġa 1 Ġ+= Ġa 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġa 1 ++ ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġthis @ foo . a Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġthis @ foo . a Ġ+= Ġthis @ foo . a Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġthis @ foo . a ++ ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġthis @ foo . a 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġthis @ foo . a 1 Ġ+= Ġthis @ foo . a 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġthis @ foo . a 1 ++ ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġb Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġb Ġ+= Ġb Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġb ++ ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġb 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġb 1 Ġ+= Ġb 1 Ġ+ Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġb 1 ++ ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ