The idea is that one can use UFCS with templates and types if the
first type matches:
void foo(string T)(int x);
"test".foo(4); <==> foo!("test")(4)
class X;
void foo(T : X)(int x);
X.foo(4) <=> foo!X(4)
This would be unambiguous(since types are not variables in D).
This allows one to define generic functions on a whole class of
types:
T New(T, Args...)(Args a)
{
return new T(a);
}
which then is a useful idiom because it provides a nice wrapper
for new. We could then use New in place of new in our design and
then track allocations easier, convert seamlessly between gc and
nogc allocated variables, etc.
