// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠWITH _ STD LIB Ċ Ċ // ĠMODULE : Ġlib Ċ // ĠFILE : ĠA . kt Ċ Ċ abstract Ġclass ĠFoo < T Ġ: ĠNumber >( @ Jvm Field Ġval Ġfoo : ĠT ) Ċ Ċ class ĠBar ( foo : ĠInt ) Ġ: ĠFoo < Int >( foo ) Ġ{ ĊĠĠĠ Ġfun Ġtest (): ĠInt Ġ= Ġfoo Ġ+ Ġ 1 Ċ } Ċ Ċ // ĠMODULE : Ġmain ( lib ) Ċ // ĠFILE : ĠB . kt Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ ĠBar ( 4 1 ). test () ĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ