Dmitriy Novozhilov
6287968511
Also introduce two different modes for those tests: - load metadata compiled with K1 - load metadata compiled with K2
13 lines
297 B
Plaintext
Vendored
13 lines
297 B
Plaintext
Vendored
public final fun bar(x: R|kotlin/Any?|): R|kotlin/Boolean|
|
|
[R|Contract description]
|
|
<
|
|
Returns(WILDCARD) -> x is kotlin/Int
|
|
>
|
|
|
|
|
|
public final fun foo(x: R|kotlin/Any?|): R|kotlin/Boolean|
|
|
[R|Contract description]
|
|
<
|
|
Returns(WILDCARD) -> x is kotlin/String
|
|
>
|