compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/recursion.fir.txt

public final fun foo(n: R|kotlin/Int|, x: R|kotlin/Any?|): R|kotlin/Boolean|
    [R|Contract description]
     <
        Returns(TRUE) -> x is kotlin/String
    >