| open class Base { | |
| constructor() /* primary */ { | |
| super/*Any*/() | |
| /* <init>() */ | |
| } | |
| open fun foo() { | |
| } | |
| open val bar: String | |
| field = "" | |
| open get | |
| override fun hashCode(): Int { | |
| return super<Any>.hashCode() | |
| } | |
| } | |
| class Derived : Base { | |
| constructor() /* primary */ { | |
| super/*Base*/() | |
| /* <init>() */ | |
| } | |
| override fun foo() { | |
| super<Base>.foo() | |
| } | |
| override val bar: String | |
| override get(): String { | |
| return super<Base>.<get-bar>() | |
| } | |
| } | |