// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ Ċ class ĠFoo Ġ{ ĊĠĠĠ Ġlateinit Ġvar Ġx : ĠString ĊĊĠĠĠ Ġconstructor () Ġ{ ĊĠĠĠĠĠĠĠ Ġx Ġ= Ġ" Foo " ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġconstructor ( x : ĠString , Ġy : ĠString ): Ġ<! NONE _ AP PL IC ABLE !> this <! >( y . hashCode ()) Ċ } Ċ