Can I write contract inside an interface?

# announcements

[amadeu01]

Can I write contract inside an interface?

[gildor]

No, only in a top-level function

[amadeu01]

@gildor sorry, but what is top-level function?

[gildor]

This is a function declared outside of class or interface, on file level

[gildor]

https://kotlinlang.org/docs/reference/functions.html#function-scope

[gildor]

Also see KEEP about this limitation
https://github.com/Kotlin/KEEP/blob/master/proposals/kotlin-contracts.md#limitations-and-capabilities-of-the-prototype