Simon Ogorodnik
3e69838f48
Really, this commit implements early J2K mapping for all Java types. It's questionable and probably wrong at least for super-types, because, for example, we cannot resolve spliterator() in classes derived from java.lang.Iterable
14 lines
511 B
Plaintext
Vendored
14 lines
511 B
Plaintext
Vendored
FILE: jvm.kt
|
|
public final class A : R|Some| {
|
|
public constructor(): R|A| {
|
|
super<R|Some|>()
|
|
}
|
|
|
|
public final fun test(): R|kotlin/Unit| {
|
|
lval res1: R|kotlin/Boolean| = R|/Some.foo|(Int(1))
|
|
lval res2: R|kotlin/Boolean| = R|/Some.foo|(Int(1).R|kotlin/Int.unaryMinus|())
|
|
lval res3: R|kotlin/Array<ft<kotlin/String, kotlin/String?>>| = R|/Some.bar|(R|kotlin/intArrayOf|(Int(0), Int(2), Int(2).R|kotlin/Int.unaryMinus|()))
|
|
}
|
|
|
|
}
|