compiler/testData/loadJava/compiledKotlin/contextParameters/contractOnContextParameter.fir.k2.txt - third_party/github/JetBrains/kotlin - Git at Google

 context(a: R|kotlin/String?|)
 public final fun validate(): R|kotlin/Unit|
     [R|Contract description]
      <
         Returns(WILDCARD) -> a != null
     >
	context(a: R\|kotlin/String?\|)
	public final fun validate(): R\|kotlin/Unit\|
	[R\|Contract description]
	<
	Returns(WILDCARD) -> a != null
	>