// ĠFIR _ IDENT ICAL Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ @ Target ( Annotation Target . EXPRESSION ) Ċ @ Retention ( Annotation Retention . SOURCE ) Ċ @ Repeat able Ċ annotation Ġclass ĠAnn Ċ Ċ fun Ġ< T > Ġbar ( block : Ġ( T ) Ġ-> ĠInt ) Ġ{} Ċ Ċ fun Ġfoo () Ġ{ ĊĠĠĠ Ġbar < Int > Ġ@ Ann Ġ@ [ Ann ] Ġ{ Ġx Ġ-> Ġx Ġ} ĊĠĠĠ Ġbar < Int > Ġ@ Ann Ġ@ [ Ann ] Ġlabel @{ Ġx Ġ-> Ġx Ġ} Ċ } Ċ