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
