// ĠFIR _ IDENT ICAL Ċ /* Ċ Ġ* ĠRE LE V ANT ĠSPEC ĠS ENT ENCES Ġ( spec Ġversion : Ġ 0 . 1 - 3 1 3 , Ġtest Ġtype : Ġpos ): Ċ Ġ* Ġ Ġ- Ġexpressions , Ġwhen - expression Ġ-> Ġparagraph Ġ 9 Ġ-> Ġsentence Ġ 2 Ċ Ġ* Ġ Ġ- Ġexpressions , Ġwhen - expression Ġ-> Ġparagraph Ġ 5 Ġ-> Ġsentence Ġ 1 Ċ Ġ* Ġ Ġ- Ġexpressions , Ġwhen - expression Ġ-> Ġparagraph Ġ 6 Ġ-> Ġsentence Ġ 5 Ċ Ġ* Ġ Ġ- Ġannotations , Ġannotation - targets Ġ-> Ġparagraph Ġ 1 Ġ-> Ġsentence Ġ 1 Ċ Ġ*/ Ċ fun Ġfoo ( a : ĠInt ) Ġ{ ĊĠĠĠ Ġ@ ann ĊĠĠĠ Ġwhen Ġ( a ) Ġ{ ĊĠĠĠĠĠĠĠĠ 1 Ġ-> Ġ{} ĊĠĠĠ Ġ} Ċ } Ċ Ċ annotation Ġclass Ġann Ċ