// ĠIG NORE _ BACKEND _ FI R : ĠJVM _ IR Ċ // ĠTARGET _ BACKEND : ĠJVM Ċ // ĠFILE : ĠAT . java Ċ Ċ public Ġclass ĠAT < G > Ġ{ ĊĠĠĠ Ġpublic ĠString Ġresult Ġ= Ġ" fail "; ĊĠĠĠ Ġpublic Ġvoid Ġfoo ( G Ġ... y ) Ġ{ ĊĠĠĠĠĠĠĠ Ġresult Ġ= Ġ" OK "; ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : Ġmain . kt Ċ Ċ fun ĠAT <* >. bar () Ġ{ ĊĠĠĠ Ġfoo () Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġa Ġ= ĠAT < String >() ĊĠĠĠ Ġa . bar () ĊĠĠĠ Ġreturn Ġa . result Ċ } Ċ