// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ VARIABLE Ċ // ĠFILE : ĠR . java Ċ public Ġclass ĠR < T Ġextends ĠR < T >> Ġ{ ĊĠĠĠ Ġpublic Ġ< F Ġextends ĠR < F >> ĠR ( F Ġx ) Ġ{ ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : ĠR Impl . java Ċ public Ġclass ĠR Impl Ġextends ĠR < R Impl > Ġ{ ĊĠĠĠ Ġpublic ĠR Impl () Ġ{ ĊĠĠĠĠĠĠĠ Ġ< R Impl > super ( null ); ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : Ġmain . kt Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġval Ġx : ĠR < R Impl > Ġ= ĠR ( R Impl ()) ĊĠĠĠ ĠR < R Impl , ĠR Impl >( R Impl ()) Ċ } Ċ