compiler/testData/debug/localVariables/receiverMangling/receiverParameter.kt - third_party/github/JetBrains/kotlin - Git at Google

 // FILE: test.kt
 fun String.test() {

 }

 fun box() {
     "OK".test()
 }

 // EXPECTATIONS
 // test.kt:7 box:
 // test.kt:4 test: $this$test:java.lang.String="OK":java.lang.String
 // test.kt:8 box:
	// FILE: test.kt
	fun String.test() {

	}

	fun box() {
	"OK".test()
	}

	// EXPECTATIONS
	// test.kt:7 box:
	// test.kt:4 test: $this$test:java.lang.String="OK":java.lang.String
	// test.kt:8 box: