FILE: main.kt public final class K|> : R|kotlin/Any| { public constructor|>(t: R|T|): R|K| { super() } } public final fun main(): R|kotlin/Unit| { R|/K.K|(Int(0)) R|/JavaClass.JavaClass|(Int(0)) }