idea/testData/quickfix/moveReceiverAnnotation/fun.kt - platform/external/jetbrains/kotlin - Git at Google

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

 annotation class Ann

 @receiver:Ann<caret>
 fun String.foo() {
 }
	// "Move annotation to receiver type" "true"

	annotation class Ann

	@receiver:Ann<caret>
	fun String.foo() {
	}