local final [ResolvedTo(BODY_RESOLVE)] class E : R|kotlin/Any| {
    public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/E| {
        super<R|kotlin/Any|>()
    }

    public final [ResolvedTo(BODY_RESOLVE)] fun e(): R|kotlin/Int| {
        ^e R|<local>/x|
    }

}
