Should this work?

[Brad Anderson]

On Friday, 10 January 2014 at 00:52:27 UTC, H. S. Teoh wrote:
>
> <snip>
>
> So to summarize:
> (1) use sig constraints to define the scope of an overload; and
> (2) use static if inside the function body (or template body) 
> to enforce
> type requirements within that scope.
>
> This solves the problem of needing the compiler to somehow read 
> your
> mind and figure out exactly which of the 56 overloads of find() 
> you
> intended to match but failed to.
>
>
> T

Ok, you've convinced me. I still think highlighting which 
constraints failed should happen but for well implemented modules 
like those in the standard library your approach offers even more 
helpful and tight error messages.