// ĠFIR _ IDENT ICAL Ċ // Ġ! CHECK _ TYPE Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ Ċ annotation Ġclass Ġann ( val Ġname : ĠString ) Ċ const Ġval Ġok Ġ= Ġ" OK " Ċ Ċ class ĠA Ċ Ċ val Ġwithout Name Ġ= Ġfun Ġ() Ġ{} Ċ val Ġextension Without Name Ġ= Ġfun ĠA . () Ġ{} Ċ Ċ fun Ġwith Annotation () Ġ= Ġ@ ann ( ok ) Ġfun Ġ() Ġ{} Ċ val Ġwith Return Ġ= Ġfun Ġ(): ĠInt Ġ{ Ġreturn Ġ 5 } Ċ val Ġwith Expression Ġ= Ġfun () Ġ= Ġ 5 Ċ val Ġfun fun Ġ= Ġfun () Ġ= Ġfun () Ġ= Ġ 5 Ċ Ċ val Ġparent es ized Ġ= Ġ( fun Ġ() Ġ{}) Ċ val Ġparent es ized WithType Ġ= Ġcheck Subtype < () Ġ-> ĠUnit >(( fun Ġ() Ġ{} )) Ċ val Ġwith Type Ġ= Ġcheck Subtype < () Ġ-> ĠUnit >(( fun Ġ() Ġ{} )) Ċ