generics_scoping.toml

output = """
generics_scoping.py:16: error: Expression is of type "int", not "Literal[1]"  [assert-type]
generics_scoping.py:20: error: Expression is of type "str", not "Literal['a']"  [assert-type]
generics_scoping.py:34: error: Argument 1 to "meth_2" of "MyClass" has incompatible type "str"; expected "int"  [arg-type]
generics_scoping.py:50: error: Expression is of type "str", not "Literal['abc']"  [assert-type]
generics_scoping.py:54: error: Expression is of type "bytes", not "Literal[b'abc']"  [assert-type]
generics_scoping.py:61: error: Type variable "generics_scoping.S" is unbound  [valid-type]
generics_scoping.py:61: note: (Hint: Use "Generic[S]" or "Protocol[S]" base class to bind "S" inside a class)
generics_scoping.py:61: note: (Hint: Use "S" in function signature to bind "S" inside a function)
generics_scoping.py:65: error: Type variable "generics_scoping.S" is unbound  [valid-type]
generics_scoping.py:65: note: (Hint: Use "Generic[S]" or "Protocol[S]" base class to bind "S" inside a class)
generics_scoping.py:65: note: (Hint: Use "S" in function signature to bind "S" inside a function)
generics_scoping.py:76: error: Free type variable expected in Generic[...]  [misc]
generics_scoping.py:86: error: Type variable "T" is bound by an outer class  [valid-type]
generics_scoping.py:89: error: Type variable "generics_scoping.T" is unbound  [valid-type]
generics_scoping.py:89: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
generics_scoping.py:89: note: (Hint: Use "T" in function signature to bind "T" inside a function)
generics_scoping.py:98: error: Can't use bound type variable "T" to define generic alias  [valid-type]
generics_scoping.py:105: error: Type variable "generics_scoping.T" is unbound  [valid-type]
generics_scoping.py:105: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
generics_scoping.py:105: note: (Hint: Use "T" in function signature to bind "T" inside a function)
generics_scoping.py:106: error: Type variable "generics_scoping.T" is unbound  [valid-type]
generics_scoping.py:106: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
generics_scoping.py:106: note: (Hint: Use "T" in function signature to bind "T" inside a function)
generics_scoping.py:107: error: Type variable "generics_scoping.T" is unbound  [valid-type]
generics_scoping.py:107: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
generics_scoping.py:107: note: (Hint: Use "T" in function signature to bind "T" inside a function)
"""
conformance_automated = "Pass"
errors_diff = """
"""