Dmitriy Novozhilov
6287968511
Also introduce two different modes for those tests: - load metadata compiled with K1 - load metadata compiled with K2
12 lines
410 B
Plaintext
Vendored
12 lines
410 B
Plaintext
Vendored
public final fun deeplyNested(x: R|kotlin/Any?|, y: R|kotlin/Any?|, b: R|kotlin/Boolean|, s: R|kotlin/String?|): R|kotlin/Unit|
|
|
[R|Contract description]
|
|
<
|
|
Returns(TRUE) -> x is kotlin/Int && x is kotlin/String || x is kotlin/Int && y is test/A || b || (!b) && s != null && y is test/A || x is kotlin/String
|
|
>
|
|
|
|
|
|
public final class A : R|kotlin/Any| {
|
|
public constructor(): R|test/A|
|
|
|
|
}
|