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