AFAIK this is the current limitation of contracts ...

# announcements

[ilya.gorbunov]

AFAIK this is the current limitation of contracts that they are supported only in top-level _functions_: https://github.com/Kotlin/KEEP/blob/master/proposals/kotlin-contracts.md#limitations-and-capabilities-of-the-prototype