when using contracts, is there anything to guarantee that `block` isn’t called 0 or 2+ times? ``` ...

# announcements

[William Reed]

when using contracts, is there anything to guarantee that block isn’t called 0 or 2+ times?

contract {
        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
    }

[diesieben07]

No:
https://kotlinlang.org/docs/whatsnew13.html#custom-contracts

Also please note that currently the Kotlin compiler does not verify contracts, so it's the responsibility of the programmer to write correct and sound contracts.