generics_scoping.toml

conformant = "Partial"
notes = """
Does not implement several scoping checks/restrictions for generics
"""
conformance_automated = "Fail"
errors_diff = """
Line 61: Expected 1 errors
Line 65: Expected 1 errors
Line 86: Expected 1 errors
Line 89: Expected 1 errors
Line 98: Expected 1 errors
Line 105: Expected 1 errors
Line 106: Expected 1 errors
Line 107: Expected 1 errors
"""
output = """
ERROR generics_scoping.py:16:12-34: assert_type(int, Literal[1]) failed [assert-type]
ERROR generics_scoping.py:20:12-38: assert_type(str, Literal['a']) failed [assert-type]
ERROR generics_scoping.py:34:10-13: Argument `Literal['a']` is not assignable to parameter `x` with type `int` in function `MyClass.meth_2` [bad-argument-type]
ERROR generics_scoping.py:50:12-48: assert_type(str, Literal['abc']) failed [assert-type]
ERROR generics_scoping.py:54:12-50: assert_type(bytes, Literal[b'abc']) failed [assert-type]
ERROR generics_scoping.py:76:11-20: Redundant type parameter declaration [invalid-type-var]
"""