idea/testData/quickfix/moveReceiverAnnotation/val.kt.after - third_party/github/JetBrains/kotlin - Git at Google

 // "Move annotation to receiver type" "true"

 annotation class Ann

 <caret>val @receiver:Ann String.bar get() = ""
	// "Move annotation to receiver type" "true"

	annotation class Ann

	<caret>val @receiver:Ann String.bar get() = ""