current "ref" args state.

[bearophile via Digitalmars-d]

evilrat:

> i may overlooked proposals for this case, if any please give a 
> link, sorry for possible duplicate topic.

This proposal was discussed two or three times in past, it makes 
the D code look a little worse (beside being a breaking change if 
you want require the ref at the calling point). But it also makes 
D code a little less surprising.

As refinement of this idea, some people suggested to require 
"ref" at the calling point only if the reference is mutable.

And what about the "out" function arguments? Don't you want to 
annotate them too at the calling point?

Bye,
bearophile