FILE: safeString2.kt
    public final data class Foo : R|kotlin/Any| {
        public constructor(name: R|kotlin/String|): R|Foo| {
            super<R|kotlin/Any|>()
        }

        public final val name: R|kotlin/String| = R|<local>/name|
            public get(): R|kotlin/String|

        public final operator fun component1(): R|kotlin/String|

        public final fun copy(name: R|kotlin/String| = this@R|/Foo|.R|/Foo.name|): R|Foo|

    }
    public final fun test(foo: R|Foo?|): R|kotlin/Unit| {
        lval s: R|kotlin/String?| = R|<local>/foo|?.{ $subj$.R|/Foo.name| }?.{ $subj$.R|kotlin/Any.toString|() }
    }
