idea/testData/quickfix/deprecatedJavaAnnotation/withoutArguments.kt - third_party/github/JetBrains/kotlin - Git at Google

 // "Replace annotation with kotlin.annotation.MustBeDocumented" "true"

 import java.lang.annotation.Documented

 @Documented<caret>
 annotation class Foo
	// "Replace annotation with kotlin.annotation.MustBeDocumented" "true"

	import java.lang.annotation.Documented

	@Documented<caret>
	annotation class Foo