< roamingthings> There is the ` Contract` annotation which w kotlinlang #announcements

<@U5JH3EG1X> There is the `@Contract` annotation, ...

diesieben07

07/26/2017, 8:04 AM

@roamingthings There is the

@Contract

annotation, which would allow you to specify this, but it seems the Kotlin compiler does not honor it.