update results for other type checkers

Author: AlexWaygood

conformance/results/mypy/generics_defaults.toml

@@ -4,35 +4,31 @@ generics_defaults.py:24: error: "T" cannot appear after "DefaultStrT" in type pa
 generics_defaults.py:30: error: Expression is of type "type[NoNonDefaults[DefaultStrT, DefaultIntT]]", not "type[NoNonDefaults[str, int]]"  [assert-type]
 generics_defaults.py:31: error: Expression is of type "type[NoNonDefaults[str, DefaultIntT]]", not "type[NoNonDefaults[str, int]]"  [assert-type]
 generics_defaults.py:38: error: Expression is of type "type[OneDefault[float, DefaultBoolT]]", not "type[OneDefault[float, bool]]"  [assert-type]
-generics_defaults.py:45: error: Expression is of type "type[AllTheDefaults[T1, T2, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[Any, Any, str, int, bool]]"  [assert-type]
-generics_defaults.py:46: error: Expression is of type "type[AllTheDefaults[int, complex, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]
-generics_defaults.py:50: error: Type application has too few types (expected between 2 and 5)  [misc]
-generics_defaults.py:52: error: Expression is of type "type[AllTheDefaults[int, complex, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]
-generics_defaults.py:55: error: Expression is of type "type[AllTheDefaults[int, complex, str, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]
-generics_defaults.py:59: error: Expression is of type "type[AllTheDefaults[int, complex, str, int, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]
-generics_defaults.py:79: error: Expression is of type "type[Class_ParamSpec[DefaultP]]", not "type[Class_ParamSpec[[str, int]]]"  [assert-type]
-generics_defaults.py:94: error: Expression is of type "type[Class_TypeVarTuple[*DefaultTs]]", not "type[Class_TypeVarTuple[str, int]]"  [assert-type]
-generics_defaults.py:107: error: TypeVar default must be a subtype of the bound type  [misc]
-generics_defaults.py:114: error: TypeVar default must be one of the constraint types  [misc]
-generics_defaults.py:132: error: Expression is of type "int", not "Any"  [assert-type]
-generics_defaults.py:156: error: Expression is of type "type[Foo6[*tuple[Any, ...], Any]]", not "type[Foo6[int, str, [float, bool]]]"  [assert-type]
-generics_defaults.py:156: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [misc]
-generics_defaults.py:157: error: Expression is of type "type[Foo6[*tuple[Any, ...], Any]]", not "type[Foo6[int, str, [bytes]]]"  [assert-type]
-generics_defaults.py:157: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [misc]
+generics_defaults.py:50: error: Expression is of type "type[AllTheDefaults[int, complex, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]
+generics_defaults.py:54: error: Type application has too few types (expected between 2 and 5)  [misc]
+generics_defaults.py:56: error: Expression is of type "type[AllTheDefaults[int, complex, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]
+generics_defaults.py:59: error: Expression is of type "type[AllTheDefaults[int, complex, str, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]
+generics_defaults.py:63: error: Expression is of type "type[AllTheDefaults[int, complex, str, int, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]
+generics_defaults.py:83: error: Expression is of type "type[Class_ParamSpec[DefaultP]]", not "type[Class_ParamSpec[[str, int]]]"  [assert-type]
+generics_defaults.py:116: error: TypeVar default must be a subtype of the bound type  [misc]
+generics_defaults.py:123: error: TypeVar default must be one of the constraint types  [misc]
+generics_defaults.py:141: error: Expression is of type "int", not "Any"  [assert-type]
+generics_defaults.py:165: error: Expression is of type "type[Foo6[*tuple[Any, ...], Any]]", not "type[Foo6[int, str, [float, bool]]]"  [assert-type]
+generics_defaults.py:165: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [misc]
+generics_defaults.py:166: error: Expression is of type "type[Foo6[*tuple[Any, ...], Any]]", not "type[Foo6[int, str, [bytes]]]"  [assert-type]
+generics_defaults.py:166: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [misc]
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 143: Expected 1 errors
+Line 152: Expected 1 errors
 Line 30: Unexpected errors ['generics_defaults.py:30: error: Expression is of type "type[NoNonDefaults[DefaultStrT, DefaultIntT]]", not "type[NoNonDefaults[str, int]]"  [assert-type]']
 Line 31: Unexpected errors ['generics_defaults.py:31: error: Expression is of type "type[NoNonDefaults[str, DefaultIntT]]", not "type[NoNonDefaults[str, int]]"  [assert-type]']
 Line 38: Unexpected errors ['generics_defaults.py:38: error: Expression is of type "type[OneDefault[float, DefaultBoolT]]", not "type[OneDefault[float, bool]]"  [assert-type]']
-Line 45: Unexpected errors ['generics_defaults.py:45: error: Expression is of type "type[AllTheDefaults[T1, T2, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[Any, Any, str, int, bool]]"  [assert-type]']
-Line 46: Unexpected errors ['generics_defaults.py:46: error: Expression is of type "type[AllTheDefaults[int, complex, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]']
-Line 52: Unexpected errors ['generics_defaults.py:52: error: Expression is of type "type[AllTheDefaults[int, complex, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]']
-Line 55: Unexpected errors ['generics_defaults.py:55: error: Expression is of type "type[AllTheDefaults[int, complex, str, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]']
-Line 59: Unexpected errors ['generics_defaults.py:59: error: Expression is of type "type[AllTheDefaults[int, complex, str, int, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]']
-Line 79: Unexpected errors ['generics_defaults.py:79: error: Expression is of type "type[Class_ParamSpec[DefaultP]]", not "type[Class_ParamSpec[[str, int]]]"  [assert-type]']
-Line 94: Unexpected errors ['generics_defaults.py:94: error: Expression is of type "type[Class_TypeVarTuple[*DefaultTs]]", not "type[Class_TypeVarTuple[str, int]]"  [assert-type]']
-Line 156: Unexpected errors ['generics_defaults.py:156: error: Expression is of type "type[Foo6[*tuple[Any, ...], Any]]", not "type[Foo6[int, str, [float, bool]]]"  [assert-type]', 'generics_defaults.py:156: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [misc]']
-Line 157: Unexpected errors ['generics_defaults.py:157: error: Expression is of type "type[Foo6[*tuple[Any, ...], Any]]", not "type[Foo6[int, str, [bytes]]]"  [assert-type]', 'generics_defaults.py:157: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [misc]']
+Line 50: Unexpected errors ['generics_defaults.py:50: error: Expression is of type "type[AllTheDefaults[int, complex, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]']
+Line 56: Unexpected errors ['generics_defaults.py:56: error: Expression is of type "type[AllTheDefaults[int, complex, DefaultStrT, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]']
+Line 59: Unexpected errors ['generics_defaults.py:59: error: Expression is of type "type[AllTheDefaults[int, complex, str, DefaultIntT, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]']
+Line 63: Unexpected errors ['generics_defaults.py:63: error: Expression is of type "type[AllTheDefaults[int, complex, str, int, DefaultBoolT]]", not "type[AllTheDefaults[int, complex, str, int, bool]]"  [assert-type]']
+Line 83: Unexpected errors ['generics_defaults.py:83: error: Expression is of type "type[Class_ParamSpec[DefaultP]]", not "type[Class_ParamSpec[[str, int]]]"  [assert-type]']
+Line 165: Unexpected errors ['generics_defaults.py:165: error: Expression is of type "type[Foo6[*tuple[Any, ...], Any]]", not "type[Foo6[int, str, [float, bool]]]"  [assert-type]', 'generics_defaults.py:165: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [misc]']
+Line 166: Unexpected errors ['generics_defaults.py:166: error: Expression is of type "type[Foo6[*tuple[Any, ...], Any]]", not "type[Foo6[int, str, [bytes]]]"  [assert-type]', 'generics_defaults.py:166: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [misc]']
 """

conformance/results/mypy/generics_defaults_referential.toml

@@ -6,9 +6,8 @@ generics_defaults_referential.py:53: error: Type parameter "Start2T" has a defau
 generics_defaults_referential.py:74: error: TypeVar default must be one of the constraint types  [misc]
 generics_defaults_referential.py:77: error: TypeVar default must be one of the constraint types  [misc]
 generics_defaults_referential.py:78: error: TypeVar default must be one of the constraint types  [misc]
-generics_defaults_referential.py:94: error: Expression is of type "type[Bar[Z1, ListDefaultT]]", not "type[Bar[Any, list[Any]]]"  [assert-type]
-generics_defaults_referential.py:95: error: Expression is of type "type[Bar[int, ListDefaultT]]", not "type[Bar[int, list[int]]]"  [assert-type]
-generics_defaults_referential.py:96: error: Expression is of type "Bar[int, list[Never]]", not "Bar[int, list[int]]"  [assert-type]
+generics_defaults_referential.py:101: error: Expression is of type "type[Bar[int, ListDefaultT]]", not "type[Bar[int, list[int]]]"  [assert-type]
+generics_defaults_referential.py:102: error: Expression is of type "Bar[int, list[Never]]", not "Bar[int, list[int]]"  [assert-type]
 """
 conformance_automated = "Fail"
 errors_diff = """
@@ -17,7 +16,6 @@ Line 60: Expected 1 errors
 Line 68: Expected 1 errors
 Line 23: Unexpected errors ['generics_defaults_referential.py:23: error: Expression is of type "type[slice[StartT, StopT, StepT]]", not "type[slice[int, int, int | None]]"  [assert-type]']
 Line 77: Unexpected errors ['generics_defaults_referential.py:77: error: TypeVar default must be one of the constraint types  [misc]']
-Line 94: Unexpected errors ['generics_defaults_referential.py:94: error: Expression is of type "type[Bar[Z1, ListDefaultT]]", not "type[Bar[Any, list[Any]]]"  [assert-type]']
-Line 95: Unexpected errors ['generics_defaults_referential.py:95: error: Expression is of type "type[Bar[int, ListDefaultT]]", not "type[Bar[int, list[int]]]"  [assert-type]']
-Line 96: Unexpected errors ['generics_defaults_referential.py:96: error: Expression is of type "Bar[int, list[Never]]", not "Bar[int, list[int]]"  [assert-type]']
+Line 101: Unexpected errors ['generics_defaults_referential.py:101: error: Expression is of type "type[Bar[int, ListDefaultT]]", not "type[Bar[int, list[int]]]"  [assert-type]']
+Line 102: Unexpected errors ['generics_defaults_referential.py:102: error: Expression is of type "Bar[int, list[Never]]", not "Bar[int, list[int]]"  [assert-type]']
 """

conformance/results/mypy/generics_scoping.toml

@@ -1,26 +1,30 @@
 output = """
-generics_scoping.py:29: error: Argument 1 to "meth_2" of "MyClass" has incompatible type "str"; expected "int"  [arg-type]
-generics_scoping.py:50: error: Type variable "generics_scoping.S" is unbound  [valid-type]
-generics_scoping.py:50: note: (Hint: Use "Generic[S]" or "Protocol[S]" base class to bind "S" inside a class)
-generics_scoping.py:50: note: (Hint: Use "S" in function signature to bind "S" inside a function)
-generics_scoping.py:54: error: Type variable "generics_scoping.S" is unbound  [valid-type]
-generics_scoping.py:54: note: (Hint: Use "Generic[S]" or "Protocol[S]" base class to bind "S" inside a class)
-generics_scoping.py:54: note: (Hint: Use "S" in function signature to bind "S" inside a function)
-generics_scoping.py:65: error: Free type variable expected in Generic[...]  [misc]
-generics_scoping.py:75: error: Type variable "T" is bound by an outer class  [valid-type]
-generics_scoping.py:78: error: Type variable "generics_scoping.T" is unbound  [valid-type]
-generics_scoping.py:78: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
-generics_scoping.py:78: note: (Hint: Use "T" in function signature to bind "T" inside a function)
-generics_scoping.py:87: error: Can't use bound type variable "T" to define generic alias  [valid-type]
-generics_scoping.py:94: error: Type variable "generics_scoping.T" is unbound  [valid-type]
-generics_scoping.py:94: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
-generics_scoping.py:94: note: (Hint: Use "T" in function signature to bind "T" inside a function)
-generics_scoping.py:95: error: Type variable "generics_scoping.T" is unbound  [valid-type]
-generics_scoping.py:95: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
-generics_scoping.py:95: note: (Hint: Use "T" in function signature to bind "T" inside a function)
-generics_scoping.py:96: error: Type variable "generics_scoping.T" is unbound  [valid-type]
-generics_scoping.py:96: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
-generics_scoping.py:96: note: (Hint: Use "T" in function signature to bind "T" inside a function)
+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 = """

conformance/results/mypy/generics_syntax_scoping.toml

@@ -19,18 +19,18 @@ generics_syntax_scoping.py:95: error: "T" already defined as a type parameter  [
 generics_syntax_scoping.py:98: error: "T" already defined as a type parameter  [misc]
 generics_syntax_scoping.py:98: error: Variable "generics_syntax_scoping.ClassE.T" is not valid as a type  [valid-type]
 generics_syntax_scoping.py:98: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-generics_syntax_scoping.py:116: error: Expression is of type "Any", not "TypeVar"  [assert-type]
-generics_syntax_scoping.py:116: note: "assert_type" expects everything to be "Any" in unchecked functions
-generics_syntax_scoping.py:121: error: Expression is of type "Any", not "complex"  [assert-type]
-generics_syntax_scoping.py:121: note: "assert_type" expects everything to be "Any" in unchecked functions
-generics_syntax_scoping.py:124: error: Expression is of type "Any", not "complex"  [assert-type]
-generics_syntax_scoping.py:124: note: "assert_type" expects everything to be "Any" in unchecked functions
+generics_syntax_scoping.py:117: error: Expression is of type "Any", not "TypeVar"  [assert-type]
+generics_syntax_scoping.py:117: note: "assert_type" expects everything to be "Any" in unchecked functions
+generics_syntax_scoping.py:122: error: Expression is of type "Any", not "complex"  [assert-type]
+generics_syntax_scoping.py:122: note: "assert_type" expects everything to be "Any" in unchecked functions
+generics_syntax_scoping.py:125: error: Expression is of type "Any", not "complex"  [assert-type]
+generics_syntax_scoping.py:125: note: "assert_type" expects everything to be "Any" in unchecked functions
 """
 conformance_automated = "Fail"
 errors_diff = """
 Line 62: Unexpected errors ['generics_syntax_scoping.py:62: error: Expression is of type "Any", not "str"  [assert-type]']
 Line 67: Unexpected errors ['generics_syntax_scoping.py:67: error: Expression is of type "Any", not "int"  [assert-type]']
-Line 116: Unexpected errors ['generics_syntax_scoping.py:116: error: Expression is of type "Any", not "TypeVar"  [assert-type]']
-Line 121: Unexpected errors ['generics_syntax_scoping.py:121: error: Expression is of type "Any", not "complex"  [assert-type]']
-Line 124: Unexpected errors ['generics_syntax_scoping.py:124: error: Expression is of type "Any", not "complex"  [assert-type]']
+Line 117: Unexpected errors ['generics_syntax_scoping.py:117: error: Expression is of type "Any", not "TypeVar"  [assert-type]']
+Line 122: Unexpected errors ['generics_syntax_scoping.py:122: error: Expression is of type "Any", not "complex"  [assert-type]']
+Line 125: Unexpected errors ['generics_syntax_scoping.py:125: error: Expression is of type "Any", not "complex"  [assert-type]']
 """