Closed
Description
Cf. the implementation plan for this feature, we need some tests to verify that tools raise an error in case a type variable declared by a class C is used in a position which is contravariant or invariant in a superinterface of C.