Opposite of
CoVariance (see
ContraVsCoVariance).
A class system where an overridden method in a
SubClass may only accept parameters of the same class or a
SuperClass of the corresponding parameter in the original method. Can be proven typesafe at compile-time by a typechecker (whereas argument
CoVariance cannot).