compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/recursion.txt - third_party/github/JetBrains/kotlin - Git at Google

 package test

 public fun foo(/*0*/ n: kotlin.Int, /*1*/ x: kotlin.Any?): kotlin.Boolean
     Returns(TRUE) -> x is String
	package test

	public fun foo(/0/ n: kotlin.Int, /1/ x: kotlin.Any?): kotlin.Boolean
	Returns(TRUE) -> x is String