Template constraints

[via Digitalmars-d]

On Saturday, 14 February 2015 at 17:00:33 UTC, Andrei 
Alexandrescu wrote:
> ...
> This should improve error messages for types (only). The 
> rationale is that it's okay for types to refuse compilation 
> because types, unlike functions, don't overload.

There was talk about enabling IFTI for constructors. If that is 
done, some types _will_ overload. But for the remaining ones 
(i.e. those that we don't want to overloadable), I think it's a 
good strategy.