small idea

[eles]

On Wednesday, 9 January 2013 at 15:36:21 UTC, Tim Krimm wrote:
> On Wednesday, 9 January 2013 at 15:10:47 UTC, bearophile wrote:
>> eles:
>>
>
>>
>> make_a_equal_to_b(ref a, in b)
>>
>> This feature was discussed several times in past for D. The 
>> advantage is more readability for the code and less surprises. 
>> The disadvantages are more typing, some code breakage of D2 
>> code (because even if at the beginning it's a warning, and 
>> later a deprecation, you will eventually need to enforce it 
>> with an error).
>>
>
> Why make it a requirement or give a warning.

My feeling about such feature is that it is an annotation (read: 
"intention"), rather than a warning (read: potential misuse) and 
error (read: "obvious misuse").

I would go for having annotations somewhere on the scale 
error/warning/annotation/correct in between the warning and 
correct. That is, a stand-alone language/compile feature and even 
flag.