Andrey Breslav
204fa76691
Because they may come from different copies of the same class from different modules
31 lines
333 B
Kotlin
31 lines
333 B
Kotlin
// MODULE: m1
|
|
// FILE: x.kt
|
|
package p
|
|
|
|
public trait Base {
|
|
public fun foo() {}
|
|
}
|
|
|
|
public trait A : Base {
|
|
override fun foo() {}
|
|
}
|
|
|
|
public trait C : A
|
|
|
|
|
|
// MODULE: m2
|
|
// FILE: x.kt
|
|
package p
|
|
|
|
public trait Base {
|
|
public fun foo() {}
|
|
}
|
|
|
|
public trait B : Base
|
|
|
|
// MODULE: m3(m1, m2)
|
|
// FILE: x.kt
|
|
|
|
import p.*
|
|
|
|
class Foo: C, B |