http://wiki.dlang.org/DIP25

[Andrei Alexandrescu via Digitalmars-d]

On 12/29/14 8:09 AM, Steven Schveighoffer wrote:
> On 12/29/14 10:51 AM, Andrei Alexandrescu wrote:
>> On 12/29/14 6:07 AM, Steven Schveighoffer wrote:
>>> On 12/27/14 10:09 PM, Andrei Alexandrescu wrote:
>>>> Walter and I have been working on revamping DIP25, which focuses on
>>>> tightening the screws of ref. This should then simplify DIP69
>>>> significantly.
>>>>
>>>> Please comment: http://wiki.dlang.org/DIP25
>>>
>>> ref int hun() inout { return b; }
>>>
>>> This doesn't make sense. inout cannot cast to mutable.
>>
>> Yah, the DIP should clarify that new behavior. Thanks. -- Andrei
>
> Huh? This behavior cannot be allowed.
>
> If we can return mutable ref to a member when calling a member function
> on a const or immutable object, then we are in violation of const.
>
> What is the point of the above? in such a function, what is typeof(this)?
>
> Even if you can make up rules to make this sane, it's going to be
> boatloads more confusing than today's situation with inout.

I tend to agree. You seem to have shown that reusing inout for scope 
information becomes confusing. -- Andrei