kotlin-fork/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/mutualRecursion.txt at master - kotlin-fork - Azalea's Gitea

azalea/kotlin-fork

Files

T

Dmitry Savvinov d20c770a25 Effects: add test on (de)serialization of contracts

- Add ContractDescriptorRenderer
- Add option to dump function contracts in DescriptorRendererOptions
- Add parsing of LANGUAGE_VERSION directive in AbstractLoadJava
- Add tests on serialization-deserializaton identity of contracts

==========
Introduction of EffectSystem: 13/18

2017-10-12 11:55:26 +03:00

9 lines

193 B

Plaintext

Vendored

Raw Permalink Blame History

 package test
 public fun bar(/*0*/ x: kotlin.Any?): kotlin.Boolean
     Returns(WILDCARD) -> x is Int
 public fun foo(/*0*/ x: kotlin.Any?): kotlin.Boolean
     Returns(WILDCARD) -> x is String