[Resolver] class B(Z) : A!Z {} class A(T) {} -- B!int will get T be derived to int now.