the idea sounds great and I like it myself, and ma...

# language-proposals

[mikehearn]

the idea sounds great and I like it myself, and maybe trying to introduce a rather high level functional concept like purity annotations into C was never going to work, but at the same time, I suspect I wouldn't bother marking most methods that could have such an annotation because it'd add relatively little