FILE: defaultParametersFromDifferentScopes.kt public abstract interface Foo : R|kotlin/Any| { public abstract fun some(x: R|kotlin/Int| = Int(1), y: R|kotlin/Int|): R|kotlin/Unit| } public abstract interface Bar : R|kotlin/Any| { public abstract fun some(x: R|kotlin/Int|, y: R|kotlin/Int| = Int(2)): R|kotlin/Unit| } public final class Impl : R|Foo|, R|Bar| { public constructor(): R|Impl| { super() } public open override fun some(x: R|kotlin/Int|, y: R|kotlin/Int|): R|kotlin/Unit| { } } public final fun main(): R|kotlin/Unit| { R|/Impl.Impl|().R|/Impl.some|() }