Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
c234f72ea4dcebd1ff29c5a1fcd540f29a83be46
/
.
/
analysis
/
low-level-api-fir
/
testData
/
inBlockModification
/
memberGetterWithBodyWithContractWithoutName.kt
blob: d52958bf2a549d43804169a10e3cd4ee418e6a3c [
file
]
import
kotlin
.
contracts
.
contract
class
A
{
var
:
Int
get
()
{
contract
{
req
}
fun
<expr>
doSmth
</
expr
>(
i
:
String
)
=
4
return
doSmth
(
"str"
)
}
set
(
value
)
=
Unit
}