openide/plugins/kotlin/idea/tests/testData/quickfix/initializeWithConstructorParameter/memberPropertyInInterface.kt

// "Initialize with constructor parameter" "false"
interface A {
    <caret>val n: Int
}