What are the subtyping rules for generics?
There are sub-typing rules for generics, and List is a subtype of the raw type List, but not of the parameterized type List (Item 28). A wildcard parameterized type is not a type in the regular sense (different from a non-parameterized class/interface or a raw type).
What are the two types of subtyping?
[citation needed] Implementations of programming languages with subtyping fall into two general classes: inclusiveimplementations, in which the representation of any value of type Aalso represents the same value at type Bif A