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

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

}
