FILE: TestCase1.kt
    package testsCase1

    public final class Case : R|kotlin/Any| {
        public constructor(): R|testsCase1/Case| {
            super<R|kotlin/Any|>()
        }

        public final fun case(v: R|testsCase1/V|): R|kotlin/Unit| {
            lval va: R|() -> kotlin/String| = Q|testsCase1/V|::R|testsCase1/a|
            lval vb: R|() -> kotlin/String| = Q|testsCase1/V|::R|testsCase1/V.Companion.b|
            lval va1: R|() -> kotlin/String| = R|<local>/v|::R|testsCase1/a|
            lval vb1: R|() -> kotlin/String| = Q|testsCase1/V|::R|testsCase1/V.Companion.b|
        }

        public final val R|testsCase1/V.Companion|.b: R|kotlin/String|
            public get(): R|kotlin/String| {
                ^ String(1)
            }

    }
    public final val R|testsCase1/V|.a: R|kotlin/String|
        public get(): R|kotlin/String| {
            ^ String(1)
        }
    public final val R|testsCase1/V.Companion|.a: R|kotlin/String|
        public get(): R|kotlin/String| {
            ^ String(1)
        }
    public final class V : R|kotlin/Any| {
        public constructor(): R|testsCase1/V| {
            super<R|kotlin/Any|>()
        }

        public final companion object Companion : R|kotlin/Any| {
            private constructor(): R|testsCase1/V.Companion| {
                super<R|kotlin/Any|>()
            }

            public final const val b: R|kotlin/String| = String(1)
                public get(): R|kotlin/String|

        }

    }
