FILE: [ResolvedTo(BODY_RESOLVE)] localPropertyScript.kts
    context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-localPropertyScript.kts>
        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|

        public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
            [ResolvedTo(BODY_RESOLVE)] lvar x: R|kotlin/Int|
        }

        public final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
            public [ResolvedTo(BODY_RESOLVE)] constructor(): R|A| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(BODY_RESOLVE)] fun q(): R|kotlin/Unit| {
                [ResolvedTo(BODY_RESOLVE)] lval y: R|kotlin/Int| = Int(42)
            }

        }

        public final [ResolvedTo(BODY_RESOLVE)] class B : R|kotlin/Any| {
            public [ResolvedTo(BODY_RESOLVE)] constructor(): R|B| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(BODY_RESOLVE)] class C : R|kotlin/Any| {
                public [ResolvedTo(BODY_RESOLVE)] constructor(): R|B.C| {
                    super<R|kotlin/Any|>()
                }

                public final [ResolvedTo(BODY_RESOLVE)] fun u(): R|kotlin/Unit| {
                    [ResolvedTo(BODY_RESOLVE)] lvar z: R|kotlin/Int| = Int(15)
                }

            }

        }
