Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
b32f408767cf86efaa65eb02699fe00bd61d99a6
/
.
/
compiler
/
testData
/
loadJava
/
compiledKotlinWithStdlib
/
contracts
/
recursion.fir.txt
blob: 7402a47c9620ee34b2a648049a2985a287873eb5 [
file
]
public final fun foo(n: R|kotlin/Int|, x: R|kotlin/Any?|): R|kotlin/Boolean|
[R|Contract description]
<
Returns(TRUE) -> x is kotlin/String
>