kotlin-fork/idea/testData/refactoring/pullUp/noInitializationInInterface.kt.after

interface T {
    // INFO: {"checked": "true"}
    val n: Int
}

class A: T {
    // INFO: {"checked": "true"}
    override val n: Int

    constructor(a: Int) {
        n = a + 1
    }
}