Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
9fc4d94d04f972782fee2dc5b3b25d052d88601a
/
.
/
analysis
/
low-level-api-fir
/
testData
/
inBlockModification
/
memberFunWithBodyWithContract.kt
blob: 65a38d0bf84cdc011da3f2c2b0529abae25e38eb [
file
]
import
kotlin
.
contracts
.
contract
class
A
{
fun x
()
{
contract
{
req
}
val a
=
<expr>
doSmth
(
"str"
)</
expr
>
}
}
fun doSmth
(
i
:
String
)
=
4