opDispatch and operator overloads

[John Colvin]

On Monday, 20 May 2013 at 19:26:28 UTC, Maxim Fomin wrote:
> On Monday, 20 May 2013 at 15:15:33 UTC, John Colvin wrote:
>> struct S {
>> 	auto opDispatch(string s)(A i){}
>> }
>>
>> struct A {}
>>
>> void main() {
>> 	S s;
>> 	A a;
>> 	s + a; //Error: incompatible types for ((s) + (a)): 'S' and 
>> 'A'
>> }
>>
>> It would be really nice if opDispatch could catch missing 
>> operator overloads.
>
> This would also leads to bugs when invalid code is silently 
> accepted in each user-defined type where opDispatch is defined.

Could you please expand on why / give an example?

Seeing as all operators (only on user defined types, sadly) can 
be rewritten as op***** member functions, I don't see why having 
opDispatch catch missing operators is any different from it 
catching missing member function calls, as it currently does.