Files
Dmitry Savvinov 4434db4d69 Effects: add diagnostic tests on contracts
- Make AbstractDiagnosticsTest dump function contracts
- Add diagnostics tests on parsing contracts
- Add diagnostics tests on smartcats in presence of functions with
contracts
- Add diagnostics tests on initialization and flow in presence of
in-place called lambdas

==========
Introduction of EffectSystem: 16/18
2017-10-12 11:55:26 +03:00

6 lines
181 B
Plaintext
Vendored

package
public fun functionWithExpressionBody(/*0*/ x: kotlin.Int): kotlin.Boolean
public inline fun </*0*/ T> myRun(/*0*/ block: () -> T): T
CallsInPlace(block, EXACTLY_ONCE)