idea/testData/quickfix/addInitializer/topLevelExtensionProperty.kt - third_party/github/JetBrains/kotlin - Git at Google

 // "Add initializer" "false"
 // ACTION: Add getter
 // ACTION: Make internal
 // ACTION: Make private
 // ERROR: Extension property must have accessors or be abstract
 <caret>val Int.n: Int
	// "Add initializer" "false"
	// ACTION: Add getter
	// ACTION: Make internal
	// ACTION: Make private
	// ERROR: Extension property must have accessors or be abstract
	<caret>val Int.n: Int