public final inner [BODY_RESOLVE] class ONAIR<T> : R|X.BASE| {
    public [BODY_RESOLVE] X<T>.constructor(): R|X.ONAIR<T>| {
        super<R|X.BASE|>()
    }

    public final [BODY_RESOLVE] fun x(): R|X.Y<T>| {
        ^x R|SubstitutionOverride</X.Y.Y>|<R|T|>()
    }

}
