// ĠFIR _ IDENT ICAL Ċ // Ġ! CHECK _ TYPE Ċ Ċ import Ġkotlin . reflect . K Function 0 Ċ Ċ class ĠA Ġ{ ĊĠĠĠ Ġclass ĠNested Ċ } Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġval Ġx Ġ= ĠA :: Nested ĊĊĠĠĠ Ġcheck Subtype < K Function 0 < A . Nested >>( x ) Ċ } Ċ