generics_basic.toml

conformant = "Partial"
notes = """
Incorrectly rejects + between two AnyStr.
Spurious error for constrained type var call.
"""
conformance_automated = "Fail"
errors_diff = """
Line 44: Unexpected errors ['Argument `bytes` is not assignable to parameter `y` with type `str` in function `concat` [bad-argument-type]']
"""
output = """
ERROR generics_basic.py:40:15-16: Argument `bytes` is not assignable to parameter `y` with type `str` in function `concat` [bad-argument-type]
ERROR generics_basic.py:41:15-16: Argument `str` is not assignable to parameter `y` with type `bytes` in function `concat` [bad-argument-type]
ERROR generics_basic.py:44:15-16: Argument `bytes` is not assignable to parameter `y` with type `str` in function `concat` [bad-argument-type]
ERROR generics_basic.py:49:18-48: Expected at least 2 constraints in TypeVar `BadConstraint1`, got 1 [invalid-type-var]
ERROR generics_basic.py:55:53-60: Type variable bounds and constraints must be concrete [invalid-annotation]
ERROR generics_basic.py:69:15-16: Argument `bytes` is not assignable to parameter `y` with type `str` in function `concat` [bad-argument-type]
ERROR generics_basic.py:121:24-25: Duplicated type parameter declaration `T` [invalid-inheritance]
ERROR generics_basic.py:157:8-9: Cannot index into `MyMap1[str, int]` [bad-index]
ERROR generics_basic.py:158:8-9: Cannot index into `MyMap2[int, str]` [bad-index]
ERROR generics_basic.py:162:7-11: Expected a type variable, got `int` [invalid-type-var]
ERROR generics_basic.py:163:7-11: Expected a type variable, got `int` [invalid-type-var]
ERROR generics_basic.py:171:7-11: Class `Bad3` uses type variables not specified in `Generic` or `Protocol` base [invalid-type-var]
ERROR generics_basic.py:172:7-11: Class `Bad4` uses type variables not specified in `Generic` or `Protocol` base [invalid-type-var]
ERROR generics_basic.py:208:7-26: Metaclass may not be an unbound generic [invalid-inheritance]
"""