@ file : Suppress (" ACT UAL _ WITHOUT _ EXPECT ") Ċ Ċ package Ġfoo Ċ Ċ interface ĠB Ċ Ċ actual Ġinterface ĠA Ġ: ĠB Ġ{ ĊĠĠĠ Ġactual Ġfun Ġcommon Fun () ĊĊĠĠĠ Ġfun Ġplatform Fun () Ċ } Ċ Ċ class ĠA Impl Ġ: ĠA Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġcommon Fun () Ġ{} ĊĠĠĠ Ġoverride Ġfun Ġplatform Fun () Ġ{} Ċ } Ċ Ċ @ Suppress (" UNUSED _ PARAMETER ") Ċ fun Ġtake List ( inv : ĠList < B >) Ġ{}