Generics

33 python typing-spec rules tagged generics.

• generics_base_class Duplicate TypeVar in a Generic... base
• generics_base_class_2 Inconsistent TypeVar ordering across base classes
• generics_base_class_3 Invariant generic type mismatch at call site
• generics_basic TypeVar declared with exactly one constraint
• generics_basic_2 Non-TypeVar argument in Generic... or Protocol...
• generics_basic_3 Generic type argument violations
• generics_defaults Non-default TypeVar follows a default TypeVar in Generic...
• generics_defaults_2 Incompatible TypeVar bound or constraint with its default
• generics_defaults_referential Invalid TypeVar default referencing another TypeVar
• generics_defaults_referential_2 ``TypeVar`` default referential violations
• generics_defaults_specialization Wrong number of type arguments to a generic class or type alias
• generics_scoping Unbound type variable in scope
• generics_self_attributes Incompatible type for Self-typed attribute
• generics_self_basic Self type violations in generics
• generics_self_protocols Protocol Self-return conformance violation
• generics_self_usage Self type used in an invalid location
• generics_syntax_compatibility PEP 695 type parameter syntax mixed with traditional TypeVars
• generics_syntax_declarations Invalid PEP 695 type parameter bound or constraint
• generics_syntax_declarations_2 Invalid attribute access on bounded type variable
• generics_syntax_scoping PEP 695 generic type parameter scoping violations
• generics_type_erasure Access to instance attribute on a class object
• generics_typevartuple_args TypeVarTuple argument count mismatch
• generics_typevartuple_basic Invalid TypeVar / TypeVarTuple / ParamSpec keyword argument combination
• generics_typevartuple_basic_2 TypeVarTuple must be unpacked with * operator
• generics_typevartuple_basic_3 TypeVarTuple variance/bounds/constraints violation
• generics_typevartuple_callable TypeVarTuple callable/tuple argument mismatch
• generics_typevartuple_specialization Multiple TypeVarTuple unpacks in generic or tuple type
• generics_typevartuple_specialization_2 Invalid TypeVarTuple specialization of generic alias
• generics_typevartuple_unpack TypeVarTuple unpack minimum type argument violation
• generics_upper_bound TypeVar upper bound violation at call site
• generics_upper_bound_2 TypeVar bound violation at call site
• generics_variance Variance incompatibility in base class parameterisation
• generics_variance_inference TypeVar scoping violation