I know in Java, you get a warning if you do `@Cont...

# language-proposals

[kevinmost]

I know in Java, you get a warning if you do @Contract(pure = true) (an annotation from the Jetbrains annotation package), not sure if that works in Kotlin too?

[snrostov]

https://youtrack.jetbrains.com/issue/KT-12719
https://youtrack.jetbrains.com/issue/KT-18024

[snrostov]

And, as far as I know, there is some sort of effects system in recent versions of 1.2-rc