Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
9fc4d94d04f972782fee2dc5b3b25d052d88601a
/
.
/
analysis
/
low-level-api-fir
/
testData
/
inBlockModification
/
insideContract.kt
blob: 8bdd2bd00da1efc8da8cf2c4d3f9103ac60c40f4 [
file
]
import
kotlin
.
contracts
.
InvocationKind
inline
fun foo
(
block
:
()
->
Unit
)
{
kotlin
.
contracts
.
contract
{
<expr>
callsInPlace
</
expr
>(
block
,
InvocationKind
.
EXACTLY_ONCE
)
}
block
()
}