Basically, when types are classes (including inter...
# eap
d
Basically, when types are classes (including interfaces, objects), all that complex stuff that happens with generics with declaration-site variance is considerably simpler.