idea/testData/quickfix/override/implemenAsConstructorParameter.kt - third_party/github/JetBrains/kotlin - Git at Google

 // "Implement as constructor parameters" "true"
 interface I {
     val foo: Int
 }

 <caret>class A : I
	// "Implement as constructor parameters" "true"
	interface I {
	val foo: Int
	}

	<caret>class A : I