18 lines
631 B
Plaintext
Vendored
18 lines
631 B
Plaintext
Vendored
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/String.toString|() }
|
|
}
|