// FILE: a.kt
fun main() {
     class Local : B() {
        override val message = "expression expected"
    }
}

// FILE: b.kt
abstract class B {
    protected abstract val message: String
}