// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ open Ġclass ĠBase ( p : ĠAny ?) Ġ{ ĊĠĠĠ Ġfun Ġfoo 1 () Ġ{} Ċ } Ċ Ċ fun ĠBase . foo () Ġ{ ĊĠĠĠ Ġclass ĠB Ġ: ĠBase Ġ{ ĊĠĠĠĠĠĠĠ Ġconstructor () Ġ: Ġ<! IN AP PL IC ABLE _ C AND ID ATE !> super <! >( foo 1 ()) ĊĠĠĠĠĠĠĠ Ġconstructor ( x : ĠInt ) Ġ: Ġ<! IN AP PL IC ABLE _ C AND ID ATE !> super <! >( this @ foo . foo 1 ()) ĊĠĠĠĠĠĠĠ Ġconstructor ( x : ĠInt , Ġy : ĠInt ) Ġ: Ġ<! IN AP PL IC ABLE _ C AND ID ATE !> super <! >( this @ B . foo 1 ()) ĊĠĠĠ Ġ} Ċ } Ċ