FILE: safeCall.kt
    @R|kotlin/OptIn|(markerClass = vararg(<getClass>(Q|kotlin/contracts/ExperimentalContracts|))) public final fun test1(x: R|kotlin/String?|): R|kotlin/Int?|
        [R|Contract description]
         <
            Returns(NOT_NULL) -> x != null
        >
     {
        [StubStatement]
        ^test1 R|<local>/x|?.{ $subj$.R|kotlin/String.length| }
    }
    @R|kotlin/OptIn|(markerClass = vararg(<getClass>(Q|kotlin/contracts/ExperimentalContracts|))) public final fun test2(x: R|kotlin/String?|): R|kotlin/Int?|
        [R|Contract description]
         <
            Returns(NOT_NULL) -> x is kotlin/Boolean
        >
     {
        [StubStatement]
        ^test2 R|<local>/x|?.{ $subj$.R|kotlin/String.length| }
    }
