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

        public final [ResolvedTo(BODY_RESOLVE)] fun <no name provided>([ResolvedTo(BODY_RESOLVE)] a: R|kotlin/Int| = Int(1)): R|kotlin/String| {
            ^<no name provided> String(str)
        }

        public final [ResolvedTo(BODY_RESOLVE)] fun <no name provided>(): R|kotlin/Unit| {
        }

        public final [ResolvedTo(BODY_RESOLVE)] val <no name provided>: R|kotlin/Int| = Int(4)
            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|

        public final [ResolvedTo(BODY_RESOLVE)] var <no name provided>: R|kotlin/Int|
            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
                ^ Int(4)
            }
            public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| {
            }

        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 <no name provided>([ResolvedTo(BODY_RESOLVE)] a: R|kotlin/Int| = Int(1)): R|kotlin/String| {
                ^<no name provided> String(str)
            }

            public final [ResolvedTo(BODY_RESOLVE)] fun <no name provided>(): R|kotlin/Unit| {
            }

            public final [ResolvedTo(BODY_RESOLVE)] val <no name provided>: R|kotlin/Int| = Int(4)
                public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|

            public final [ResolvedTo(BODY_RESOLVE)] var <no name provided>: R|kotlin/Boolean|
                public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Boolean| {
                    ^ Boolean(true)
                }
                public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Boolean|): R|kotlin/Unit| {
                }

        }
