FILE: jvm.kt
    public final class A : R|Some| {
        public constructor(): R|A| {
            super<R|Some|>()
        }

    }
