<div dir="ltr">On 7 July 2013 16:02, TommiT <span dir="ltr"><<a href="mailto:tommitissari@hotmail.com" target="_blank">tommitissari@hotmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Saturday, 6 July 2013 at 23:11:26 UTC, Manu wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
[..] I feel like it would be a much cleaner solution than any of<div class="im"><br>
the others presented in this thread...<br>
</div></blockquote>
<br>
I think Artur's solution is the cleanest one because it changes the default behaviour to a more sensible one: it is useful to keep the full type information only if the type isn't implicitly convertible from immutable to mutable and back again... otherwise keeping the full type information along only causes inconvenience.<br>

</blockquote></div><br></div><div class="gmail_extra" style>Maybe so, but I just have my suspicions that it will never fly, and I think a solution here is actually pretty important.</div><div class="gmail_extra" style>This is demonstrably one of the biggest issues with C++, and since templates are so much more convenient in D, I expect time will show it to be far worse in D than it already is in C++.</div>
</div>