opDispatch and operator overloads

[Maxim Fomin]

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.

> Also, would it be a good idea to have free functions of all the 
> operators (opOpAssign etc...) for builtin types somewhere? It's 
> occasionally useful in generic wrappers.

And this is pushing UFCS beyond its purpose for the sake of 
temporal convenience at the expense of language.