compiler/testData/asJava/lightClasses/ideRegression/OverridingProtected.kt

// p.C
package p

class C : A() {
    override val ap: Int
        get() = super.c

    override fun af(): Int {
        return super.foo()
    }
}

// LAZINESS:NoLaziness