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)
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)