87 lines
1.2 KiB
Kotlin
Vendored
87 lines
1.2 KiB
Kotlin
Vendored
class A : Java1, KotlinInterface {
|
|
constructor() /* primary */ {
|
|
super/*Java1*/()
|
|
/* <init>() */
|
|
|
|
}
|
|
|
|
fun test1() {
|
|
return <this>.foo(t = 1)
|
|
}
|
|
|
|
fun test2(): Int {
|
|
return <this>.bar<Int>()
|
|
}
|
|
|
|
fun test3() {
|
|
return <this>.foo<String>(t = "")
|
|
}
|
|
|
|
fun test4() {
|
|
return <this>.foo(t = 1.5)
|
|
}
|
|
|
|
fun test5() {
|
|
return <this>.foo(t = 1.5, t2 = 8)
|
|
}
|
|
|
|
}
|
|
|
|
class B : Java1, Java2 {
|
|
constructor() /* primary */ {
|
|
super/*Java1*/()
|
|
/* <init>() */
|
|
|
|
}
|
|
|
|
fun test1() {
|
|
return foo(t = 1)
|
|
}
|
|
|
|
fun test2(): Int {
|
|
return bar<@FlexibleNullability Int?>() /*!! Int */
|
|
}
|
|
|
|
fun test3() {
|
|
return foo<@FlexibleNullability String?>(t = "")
|
|
}
|
|
|
|
fun test4() {
|
|
return foo(t = 1.5)
|
|
}
|
|
|
|
fun test5() {
|
|
return foo(t = 1.5, t2 = 8)
|
|
}
|
|
|
|
}
|
|
|
|
interface KotlinInterface {
|
|
fun <T : Any?> bar(): T {
|
|
return CHECK_NOT_NULL<Nothing>(arg0 = null)
|
|
}
|
|
|
|
fun foo(t: Number) {
|
|
}
|
|
|
|
fun foo(t: Number, t2: Int = 7) {
|
|
}
|
|
|
|
fun <T : Any?> foo(t: T) {
|
|
}
|
|
|
|
}
|
|
|
|
fun test(a: A, b: B) {
|
|
a.test1()
|
|
a.test2() /*~> Unit */
|
|
a.test3()
|
|
a.test4()
|
|
a.test5()
|
|
b.test1()
|
|
b.test2() /*~> Unit */
|
|
b.test3()
|
|
b.test4()
|
|
b.test5()
|
|
}
|