Why can't I have overloading and generics?

[David]

You can strip

 > ref A foo(T)(T item) if (is(T==B)) {

down to:

ref A foo(T : B)(T item) // or to match your example
ref A foo(T == B)(T item)