// Ġ! 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 Ċ abstract Ġclass ĠBase 0 () Ċ Ċ abstract Ġclass ĠBase 1 () Ġ{ ĊĠĠĠ Ġabstract Ġfun Ġfoo () Ċ } Ċ Ċ abstract Ġclass ĠBase 2 ( var Ġb 1 : ĠAny , Ġval Ġa 1 : ĠAny ) Ġ{ ĊĠĠĠ Ġabstract Ġfun Ġfoo () Ċ } Ċ Ċ fun Ġcase 1 () Ġ{ ĊĠĠĠ Ġval Ġb 0 Ġ= ĠBase 0 () ĊĠĠĠ Ġval Ġb 1 Ġ= ĠBase 1 () ĊĠĠĠ Ġval Ġb 2 Ġ= ĠBase 2 ( 1 , Ġ" 1 ") Ċ } Ċ