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

 // "Add initializer" "false"
 // ACTION: Add getter
 // ACTION: Make internal
 // ACTION: Make private
 // ACTION: Make protected
 // ACTION: Move to constructor
 // ERROR: Extension property must have accessors or be abstract
 class A {
     <caret>val Int.n: Int
 }
	// "Add initializer" "false"
	// ACTION: Add getter
	// ACTION: Make internal
	// ACTION: Make private
	// ACTION: Make protected
	// ACTION: Move to constructor
	// ERROR: Extension property must have accessors or be abstract
	class A {
	<caret>val Int.n: Int
	}