resolve type arguments on the supertype, not just satisfied types
new name