// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠWITH _ STD LIB Ċ // ĠFULL _ JDK Ċ // ĠJVM _ TARGET : Ġ 1 . 8 Ċ // ĠFILE : ĠA . java Ċ import Ġjava . util . List ; Ċ Ċ public Ġclass ĠA < @ Anno ( 1 ) ĠT > Ġ{} Ċ Ċ // ĠFILE : ĠAnno . kt Ċ Ċ import Ġkotlin . test . assertTrue Ċ Ċ @ Target ( Annotation Target . TYPE _ PARAMETER ) Ċ annotation Ġclass ĠAnno ( val Ġvalue : ĠInt Ġ= Ġ 0 ) Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġtype Parameter Ġ= ĠA :: class . java . type Parameters . single () ĊĠĠĠ Ġval Ġparameter toString Ġ= Ġtype Parameter . annotations . toList (). toString () ĊĠĠĠ ĠassertTrue ("\\ [@ Anno \\ (( value = )? 1 \\ )\\ ] ". to Regex (). matches ( parameter toString ), Ġparameter toString ) ĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ