Asserts that classes are assignable to the specified superType.
Asserts that classes are assignable to type parameter T.