Searched refs:contravariant (Results 1 – 6 of 6) sorted by relevance
355 @interface Variance1<__contravariant X, // expected-error{{contravariant type parameter 'X' conflic…356 … expected-error{{covariant type parameter 'Y' conflicts with previous contravariant type parameter…361 @interface Variance2<__contravariant T, // expected-error{{contravariant type parameter 'T' conflic…362 … expected-error{{invariant type parameter 'U' conflicts with previous contravariant type parameter…
34 …s this (it has some fiarly new support for covariant return types and contravariant argument types…
352 // Other covariant and contravariant conversions still not permitted.
531 covariant=False, contravariant=False): argument533 if covariant and contravariant:536 self.__contravariant__ = bool(contravariant)1180 T_contra = TypeVar('T_contra', contravariant=True) # Ditto contravariant.
430 Type variables may be marked covariant or contravariant by passing431 ``covariant=True`` or ``contravariant=True``. See :pep:`484` for more
194 T_contra = TypeVar('T_contra', contravariant=True)223 TypeVar('T', covariant=True, contravariant=True)