FILE: disabledFeature.kt public final inline fun requreIsInstance(value: R|kotlin/Any|): R|kotlin/Unit| [R|Contract description] < Returns(WILDCARD) -> value is T > { when () { (R|/value| !is R|T|) -> { throw R|java/lang/IllegalArgumentException.IllegalArgumentException|() } } } public final val R|kotlin/Any?|.myLength: R|kotlin/Int?| public get(): R|kotlin/Int?| [R|Contract description] < > { ^ (this@R|/myLength| as? R|kotlin/String|)?.{ $subj$.R|kotlin/String.length| } } public final fun test_1(x: R|kotlin/Any|): R|kotlin/Unit| { R|/requreIsInstance|(R|/x|) R|/x|.R|kotlin/String.length| } public final fun test_2(x: R|kotlin/Any|): R|kotlin/Unit| { when () { !=(R|/x|.R|/myLength|, Null(null)) -> { R|/x|.# } } }