<div dir="auto"><div><div class="gmail_extra"><div class="gmail_quote">On 28 Mar. 2018 4:35 am, "Timon Gehr via Digitalmars-d" <<a href="mailto:digitalmars-d@puremagic.com">digitalmars-d@puremagic.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">On 27.03.2018 20:14, Manu wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">
That's exactly what I've been saying. For like, 9 years..<br>
It looks like this:<br>
<a href="https://github.com/TurkeyMan/DIPs/blob/ref_args/DIPs/DIP1xxx-rval_to_ref.md" rel="noreferrer" target="_blank">https://github.com/TurkeyMan/D<wbr>IPs/blob/ref_args/DIPs/DIP1xxx<wbr>-rval_to_ref.md</a><br>
  (contribution appreciated)<br>
<br></div><div class="quoted-text">
As far as I can tell, it's completely benign, it just eliminates the<br>
annoying edge cases when interacting with functions that take<br>
arguments by ref. There's no spill-over affect anywhere that I'm aware<br>
of, and if you can find a single wart, I definitely want to know about<br>
it.<br>
</div></blockquote>
<br>
???<div class="quoted-text"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I've asked so many times for a technical destruction, nobody will<br>
present any opposition that is anything other than a rejection *in<br>
principle*. This is a holy war, not a technical one.<br>
</blockquote>
<br></div>
That's extremely unfair. It is just a bad idea to overload D const for this purpose. Remove the "const" requirement and I'm on board.<br>
</blockquote></div><br></div></div><div class="gmail_extra" dir="auto">I discussed that in that document. I'm happy to remove const, but it requires a value judgement on the meaning of non-const in this case. It becomes controversial without const, but I'm personally happy to remove it if you can make The argument in favour. Can you give me some ideas where it would be useful?</div></div>