Partial template function specialization

[Lutger]

You can also do this with template constraints in D2:

template foo(T, U)
    if ( is(T == int) )
{
    void foo(T t, U u)
    {
	//t is int
    }
}

template foo(T, U)
    if ( is(T == string) )
{
    void foo(T t, U u)
    {
	//t is string
    }
}


IFTI still works here: foo("bla", 1) and foo(1,1) are both valid

You can do almost anything in the if condition (constraint) that can 
evaluate to bool at compile time. See std.traits and the __traits keywords 
for useful stuff.