Basically, when types are classes (including inter...

# eap

[dmitry.petrov]

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