FILE: Derived.kt
    public final class Derived : R|Base| {
        public constructor(): R|Derived| {
            super<R|Base|>()
        }

        public final fun getValue(): R|kotlin/Int| {
            ^getValue this@R|/Derived|.R|/Base.value|
        }

        public final fun foo(): R|kotlin/Int| {
            ^foo this@R|/Derived|.R|/Base.value|
        }

    }
