23 lines
645 B
Plaintext
Vendored
23 lines
645 B
Plaintext
Vendored
FILE: main.kt
|
|
public final class WithElvis : R|kotlin/Any| {
|
|
public constructor(value: R|kotlin/String|?): R|elvis/WithElvis| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
public final val value: R|kotlin/String|? = R|<local>/value|
|
|
public get(): R|kotlin/String|?
|
|
|
|
public final fun foo(): R|kotlin/String| {
|
|
^foo when (lval <elvis>: R|kotlin/String|? = R|elvis/WithElvis.value|) {
|
|
==($subj$, Null(null)) -> {
|
|
String()
|
|
}
|
|
else -> {
|
|
R|<local>/<elvis>|!
|
|
}
|
|
}
|
|
|
|
}
|
|
|
|
}
|