anzhela.sukhanova
82255d5ee8
Add tests for fake overrides with focus on java interoperability Co-authored-by: Aleksandra Arsenteva <aleksandra.arsenteva@jetbrains.com>
28 lines
415 B
Kotlin
Vendored
28 lines
415 B
Kotlin
Vendored
class C : Java1, Java2 {
|
|
constructor() /* primary */ {
|
|
super/*Java1*/()
|
|
/* <init>() */
|
|
|
|
}
|
|
|
|
}
|
|
|
|
class D : Java1, Java2 {
|
|
constructor() /* primary */ {
|
|
super/*Java1*/()
|
|
/* <init>() */
|
|
|
|
}
|
|
|
|
override fun foo(): Void {
|
|
return CHECK_NOT_NULL<Nothing>(arg0 = null)
|
|
}
|
|
|
|
}
|
|
|
|
fun test() {
|
|
val k1: Any = C().foo() /*!! Void */
|
|
val k2: Void = C().foo() /*!! Void */
|
|
val k3: Void = D().foo()
|
|
}
|