// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ Ċ class ĠGeneric Class < out ĠT >( val Ġvalue : ĠT ) Ġ{ ĊĠĠĠ Ġpublic Ġfun Ġfoo < P >( extension : ĠT . () Ġ-> ĠP ) Ġ{} Ċ } Ċ Ċ public Ġfun Ġ< E > ĠGeneric Class < List < E >> . bar () Ġ{ ĊĠĠĠ Ġfoo ( Ġ{ Ġlist Iterator () Ġ}) Ċ }