Files
2023-11-30 08:39:04 +00:00

21 lines
549 B
Plaintext
Vendored

FILE: sam.kt
public abstract fun interface MySam : R|kotlin/Any| {
public abstract fun run(x: R|kotlin/String|): R|kotlin/Int|
}
public final class A : R|kotlin/Any| {
public constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final fun bar(x: R|kotlin/String|): R|kotlin/Int| {
}
}
public final fun foo(x: R|MySam|): R|kotlin/Unit| {
}
public final fun main(): R|kotlin/Unit| {
lval a: R|A| = R|/A.A|()
R|/foo|(SAM(R|<local>/a|::R|/A.bar|))
}