// Ġ! CHECK _ TYPE Ċ Ċ import Ġkotlin . reflect .* Ċ Ċ var Ġx : ĠInt Ġ= Ġ 4 2 Ċ val Ġy : ĠString Ġget () Ġ= Ġ" y " Ċ Ċ fun Ġtest X () Ġ{ ĊĠĠĠ Ġval Ġxx Ġ= Ġ:: x ĊĠĠĠ Ġcheck Subtype < K Mutable Property 0 < Int >>( xx ) ĊĠĠĠ Ġcheck Subtype < K Property 0 < Int >>( xx ) ĊĠĠĠ Ġcheck Subtype < K Mutable Property < Int >>( xx ) ĊĠĠĠ Ġcheck Subtype < K Property < Int >>( xx ) ĊĠĠĠ Ġcheck Subtype < K Callable < Int >>( xx ) ĊĊĠĠĠ Ġcheck Subtype < String >( xx . name ) ĊĠĠĠ Ġcheck Subtype < Int >( xx . get ()) ĊĠĠĠ Ġxx . set ( 2 3 9 ) Ċ } Ċ Ċ fun Ġtest Y () Ġ{ ĊĠĠĠ Ġval Ġyy Ġ= Ġ:: y ĊĠĠĠ Ġcheck Subtype < K Mutable Property 0 < String >>( <! TYPE _ MIS MATCH !> yy <! >) ĊĠĠĠ Ġcheck Subtype < K Property 0 < String >>( yy ) ĊĠĠĠ Ġcheck Subtype < K Mutable Property < String >>( <! TYPE _ MIS MATCH !> yy <! >) ĊĠĠĠ Ġcheck Subtype < K Property < String >>( yy ) ĊĠĠĠ Ġcheck Subtype < K Callable < String >>( yy ) ĊĊĠĠĠ Ġcheck Subtype < String >( yy . name ) ĊĠĠĠ Ġcheck Subtype < String >( yy . get ()) ĊĠĠĠ Ġyy .< ! UN RESOL VED _ REFERENCE !> set <! >(" yy ") Ċ } Ċ