FILE: classDeclaration.kt
    public final class A : R|kotlin/Any| {
        public constructor(): R|A|

        public final fun funA(): R|kotlin/String| {
        }

        public final inline fun funB(): R|kotlin/String| {
            ^funB String(A.funB body)
        }

        @R|kotlin/OptIn|(markerClass = vararg(<getClass>(Q|kotlin/contracts/ExperimentalContracts|)) [evaluated = vararg(<getClass>(Q|kotlin/contracts/ExperimentalContracts|))]) public final fun isNotNull(value: R|kotlin/Any?|): R|kotlin/Boolean|
            [R|Contract description]
             <
                Returns(TRUE) -> value != null
            >
         {
        }

        public final fun funD(): R|kotlin/Int| {
        }

        public final inline fun funE(): R|kotlin/String| {
            local final fun funF(): R|kotlin/String| {
                ^funF String(funF body)
            }

            ^funE R|<local>/funF|()
        }

    }
    public abstract interface B : R|kotlin/Any| {
        public open fun funA(): R|kotlin/String| {
        }

        public abstract fun funB(): R|kotlin/String|

    }
    public final class C : R|B| {
        public constructor(): R|C|

        public final inner class D : R|kotlin/Any| {
            public C.constructor(): R|C.D|

            public final fun funA(): R|kotlin/String| {
            }

        }

        public open override fun funB(): R|kotlin/String| {
        }

    }
    public final class E : R|kotlin/Any| {
        public constructor(): R|E|

        public final fun funA(): R|kotlin/String| {
        }

    }
    public final class F : R|E| {
        public constructor(): R|F|

        public final fun funA(): R|kotlin/String| {
        }

    }
