With purity, it looks like @Pure annotations for c...

# language-proposals

[dmitry.petrov]

With purity, it looks like @Pure annotations for call site will just tell the compiler "please, do compile this program, it is polite enough".