To help LDC/GDC

[Timon Gehr]

On 04/11/2013 07:48 AM, Walter Bright wrote:
> On 4/10/2013 10:44 PM, Timon Gehr wrote:
>> On 04/10/2013 11:50 PM, Walter Bright wrote:
>>> ...
>>>
>>> My point was that competing designs are very probably not necessary. We
>>> just need to pull on the string on what must be.
>>>
>>
>> Yes, IMO it is quite obvious how to do it. (transfer the meaning of the
>> modifiers from member functions to local functions, disallow
>> conversion to const
>> for delegates and disallow loading a mutable delegate from a const
>> receiver.)
>> However, I think there are other opinions. There will probably always
>> be as long
>> as nothing is specified as the official behaviour.
>
> A delegate works exactly like a member function call. It has an implicit
> 'this' pointer, and how the 'this' pointer is qualified, just like for a
> member function, determines how it works.

That's still not sufficient as a specification.

A member function may be qualified differently from the 'this' pointer 
and calling said member function may even be disallowed because of this.

For delegates, the same syntax element is used for qualifying the 
context pointer and the function. Therefore delegates and member 
functions need to behave differently.