Slide 1 Slide 2 1 - 10.3 - Covariance & anchored types Slide 3 2 Covariance? Within the type system of a programming language, a typing rule or a type conversion operator…