Handle `W: X<T = Y>` generics where `Y` is used as `Z<Y>`