// ĠTEST CASE ĠNUMBER : Ġ 1 Ċ @ Target ( Annotation Target . TYPE ) Ċ annotation Ġclass ĠAnn ( val Ġx : ĠInt ) Ċ Ċ class ĠInv < T > Ċ Ċ fun Ġcase _ 1 (): ĠInv < @ Ann ( un resolved _ reference ) ĠString > Ġ= ĠTODO () Ċ