Files
2022-12-14 21:46:41 +00:00

23 lines
621 B
Plaintext
Vendored

FILE: defaultParameterFromBase.kt
public open class Base : R|kotlin/Any| {
public constructor(): R|Base| {
super<R|kotlin/Any|>()
}
public open fun foo(arg: R|kotlin/Int|, def: R|kotlin/String| = String()): R|kotlin/Unit| {
}
}
public final object Derived : R|Base| {
private constructor(): R|Derived| {
super<R|Base|>()
}
public open override fun foo(arg: R|kotlin/Int|, def: R|kotlin/String|): R|kotlin/Unit| {
}
}
public final fun test(): R|kotlin/Unit| {
Q|Derived|.R|/Derived.foo|(Int(42))
}