// Ġ! CHECK _ TYPE Ċ Ċ import Ġkotlin . reflect .* Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġfun Ġfoo () Ġ{} ĊĠĠĠ Ġfun Ġbar ( x : ĠInt ) Ġ{} ĊĠĠĠ Ġfun Ġbaz () Ġ= Ġ" OK " ĊĠĠĠĠĊĠĠĠ Ġval Ġx Ġ= Ġ:: foo ĊĠĠĠ Ġval Ġy Ġ= Ġ:: bar ĊĠĠĠ Ġval Ġz Ġ= Ġ:: baz ĊĠĠĠĠĊĠĠĠ Ġcheck Subtype < K Function 0 < Unit >>( x ) ĊĠĠĠ Ġcheck Subtype < K Function 1 < Int , ĠUnit >>( y ) ĊĠĠĠ Ġcheck Subtype < K Function 0 < String >>( z ) Ċ } Ċ