Add the results for ZubanLS

Author: davidhalter

conformance/results/results.html

@@ -0,0 +1,29 @@
+conformance_automated = "Pass"
+errors_diff = """
+"""
+output = """
+aliases_explicit.py:67: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_explicit.py:68: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_explicit.py:69: error: Bad number of arguments for type alias, expected 1, given 2
+aliases_explicit.py:70: error: Bad number of arguments for type alias, expected 1, given 2
+aliases_explicit.py:71: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "int"
+aliases_explicit.py:79: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:80: error: Bracketed expression "[...]" is not valid as a type
+aliases_explicit.py:80: note: Did you mean "List[...]"?
+aliases_explicit.py:81: error: Syntax error in type annotation
+aliases_explicit.py:81: note: Suggestion: Is there a spurious trailing comma?
+aliases_explicit.py:82: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:83: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:84: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:85: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:86: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:87: error: Variable "aliases_explicit.var1" is not valid as a type
+aliases_explicit.py:87: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_explicit.py:88: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:89: error: Invalid type: try using Literal[1] instead?
+aliases_explicit.py:90: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:91: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:100: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_explicit.py:101: error: "<typing special form>" not callable
+aliases_explicit.py:102: error: Bad number of arguments for type alias, expected 0, given 1
+"""

conformance/results/zuban/aliases_explicit.toml

@@ -0,0 +1,41 @@
+conformance_automated = "Pass"
+errors_diff = """
+"""
+output = """
+aliases_implicit.py:76: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_implicit.py:77: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_implicit.py:78: error: Bad number of arguments for type alias, expected 1, given 2
+aliases_implicit.py:79: error: Bad number of arguments for type alias, expected 1, given 2
+aliases_implicit.py:80: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "int"
+aliases_implicit.py:81: error: Type argument "str" of "GoodTypeAlias12" must be a subtype of "float"
+aliases_implicit.py:106: error: Variable "aliases_implicit.BadTypeAlias1" is not valid as a type
+aliases_implicit.py:106: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:107: error: Variable "aliases_implicit.BadTypeAlias2" is not valid as a type
+aliases_implicit.py:107: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:108: error: Variable "aliases_implicit.BadTypeAlias3" is not valid as a type
+aliases_implicit.py:108: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:109: error: Variable "aliases_implicit.BadTypeAlias4" is not valid as a type
+aliases_implicit.py:109: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:110: error: Variable "aliases_implicit.BadTypeAlias5" is not valid as a type
+aliases_implicit.py:110: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:111: error: Variable "aliases_implicit.BadTypeAlias6" is not valid as a type
+aliases_implicit.py:111: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:112: error: Variable "aliases_implicit.BadTypeAlias7" is not valid as a type
+aliases_implicit.py:112: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:113: error: Variable "aliases_implicit.BadTypeAlias8" is not valid as a type
+aliases_implicit.py:113: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:114: error: Variable "aliases_implicit.var1" is not valid as a type
+aliases_implicit.py:114: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:115: error: Variable "aliases_implicit.BadTypeAlias10" is not valid as a type
+aliases_implicit.py:115: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:116: error: Variable "aliases_implicit.BadTypeAlias11" is not valid as a type
+aliases_implicit.py:116: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:117: error: Variable "aliases_implicit.BadTypeAlias12" is not valid as a type
+aliases_implicit.py:117: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:118: error: Variable "aliases_implicit.BadTypeAlias13" is not valid as a type
+aliases_implicit.py:118: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:119: error: Variable "aliases_implicit.BadTypeAlias14" is not valid as a type
+aliases_implicit.py:119: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_implicit.py:133: error: "UnionType" not callable
+aliases_implicit.py:135: error: Bad number of arguments for type alias, expected 0, given 1
+"""

conformance/results/zuban/aliases_implicit.toml

@@ -0,0 +1,21 @@
+conformance_automated = "Pass"
+errors_diff = """
+"""
+output = """
+aliases_newtype.py:11: error: Argument 1 to "UserId" has incompatible type "str"; expected "int"
+aliases_newtype.py:12: error: Incompatible types in assignment (expression has type "int", variable has type "UserId")
+aliases_newtype.py:18: error: Incompatible types in assignment (expression has type "Type[UserId]", variable has type "Type[Any]")
+aliases_newtype.py:23: error: Cannot use isinstance() with NewType type
+aliases_newtype.py:26: error: Cannot subclass "NewType"
+aliases_newtype.py:35: error: String argument 1 "BadName" to NewType(...) does not match variable name "GoodName"
+aliases_newtype.py:41: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_newtype.py:47: error: Argument 2 to NewType(...) must be subclassable (got "int | str")
+aliases_newtype.py:50: error: Type variable "aliases_newtype.T" is unbound
+aliases_newtype.py:50: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
+aliases_newtype.py:50: note: (Hint: Use "T" in function signature to bind "T" inside a function)
+aliases_newtype.py:52: error: NewType cannot be used with protocol classes
+aliases_newtype.py:54: error: Argument 2 to NewType(...) must be subclassable (got "Literal[7]")
+aliases_newtype.py:61: error: Argument 2 to NewType(...) must be subclassable (got "TD1")
+aliases_newtype.py:63: error: NewType(...) expects exactly two positional arguments
+aliases_newtype.py:65: error: Argument 2 to NewType(...) must be subclassable (got "Any")
+"""

conformance/results/zuban/aliases_newtype.toml

@@ -0,0 +1,17 @@
+conformance_automated = "Pass"
+errors_diff = """
+"""
+output = """
+aliases_recursive.py:19: error: Dict entry 1 has incompatible type "str": "complex"; expected "str": "None | int | str | float | list[Json] | dict[str, Json]"
+aliases_recursive.py:20: error: List item 1 has incompatible type "complex"; expected "None | int | str | float | list[Json] | dict[str, Json]"
+aliases_recursive.py:38: error: Incompatible types in assignment (expression has type "tuple[int, tuple[str, int], tuple[int, tuple[int, list[int]]]]", variable has type "str | int | tuple[RecursiveTuple, ...]")
+aliases_recursive.py:39: error: Name "t6" already defined on line 38
+aliases_recursive.py:39: error: Incompatible types in assignment (expression has type "tuple[int, list[int]]", variable has type "str | int | tuple[RecursiveTuple, ...]")
+aliases_recursive.py:50: error: Dict entry 0 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"
+aliases_recursive.py:51: error: Dict entry 2 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"
+aliases_recursive.py:52: error: Dict entry 2 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"
+aliases_recursive.py:63: error: List item 0 has incompatible type "float"; expected "GenericTypeAlias1[str] | str"
+aliases_recursive.py:69: error: List item 0 has incompatible type "float"; expected "GenericTypeAlias2[str, int] | str | int"
+aliases_recursive.py:72: error: Invalid recursive alias: a union item of itself
+aliases_recursive.py:75: error: Invalid recursive alias: a union item of itself
+"""

conformance/results/zuban/aliases_recursive.toml

@@ -0,0 +1,35 @@
+conformance_automated = "Pass"
+errors_diff = """
+"""
+output = """
+aliases_type_statement.py:17: error: "TypeAliasType" has no attribute "bit_count"
+aliases_type_statement.py:19: error: "TypeAliasType" not callable
+aliases_type_statement.py:23: error: "TypeAliasType" has no attribute "other_attrib"
+aliases_type_statement.py:26: error: Type alias defined using "type" statement not valid as base class
+aliases_type_statement.py:31: error: Argument 2 to "isinstance" has incompatible type "TypeAliasType"; expected "Type[Any] | UnionType | tuple[_ClassInfo, ...]"
+aliases_type_statement.py:37: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:38: error: Bracketed expression "[...]" is not valid as a type
+aliases_type_statement.py:38: note: Did you mean "List[...]"?
+aliases_type_statement.py:39: error: Syntax error in type annotation
+aliases_type_statement.py:39: note: Suggestion: Is there a spurious trailing comma?
+aliases_type_statement.py:40: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:41: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:42: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:43: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:44: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:45: error: Variable "aliases_type_statement.var1" is not valid as a type
+aliases_type_statement.py:45: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_type_statement.py:46: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:47: error: Invalid type: try using Literal[1] instead?
+aliases_type_statement.py:48: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:49: error: Invalid type alias: expression is not a valid type
+aliases_type_statement.py:52: error: Name "BadTypeAlias14" already defined on line 51
+aliases_type_statement.py:56: error: Type alias not allowed in function
+aliases_type_statement.py:62: error: All type parameters should be declared ("V" not declared)
+aliases_type_statement.py:67: error: All type parameters should be declared ("T1" not declared)
+aliases_type_statement.py:77: error: Type argument "str" of "RecursiveTypeAlias2" must be a subtype of "int"
+aliases_type_statement.py:79: error: Type argument "int" of "RecursiveTypeAlias2" must be a subtype of "str"
+aliases_type_statement.py:82: error: Invalid recursive alias: a union item of itself
+aliases_type_statement.py:84: error: Invalid recursive alias: a union item of itself
+aliases_type_statement.py:88: error: Invalid recursive alias: a union item of itself
+"""

conformance/results/zuban/aliases_type_statement.toml

@@ -0,0 +1,38 @@
+conformant = "Partial"
+notes = """
+Incorrectly rejects the use of a class-scoped TypeVar in a TypeAliasType definition.
+Incorrectly allows type_params= to be an arbitrary tuple.
+"""
+conformance_automated = "Fail"
+errors_diff = """
+Line 45: Expected 1 errors
+Line 27: Unexpected errors ['aliases_typealiastype.py:27: error: Can\\'t use bound type variable "T" to define generic alias']
+"""
+output = """
+aliases_typealiastype.py:27: error: Can't use bound type variable "T" to define generic alias
+aliases_typealiastype.py:32: error: "TypeAliasType" has no attribute "other_attrib"
+aliases_typealiastype.py:40: error: Type argument "int" of "GoodAlias5" must be a subtype of "str"
+aliases_typealiastype.py:43: error: All type parameters should be declared ("S" not declared)
+aliases_typealiastype.py:44: error: All type parameters should be declared ("S" not declared)
+aliases_typealiastype.py:46: error: Invalid recursive alias: a union item of itself
+aliases_typealiastype.py:47: error: Invalid recursive alias: a union item of itself
+aliases_typealiastype.py:48: error: Variable "aliases_typealiastype.BadAlias7" is not valid as a type
+aliases_typealiastype.py:48: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_typealiastype.py:52: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:53: error: Bracketed expression "[...]" is not valid as a type
+aliases_typealiastype.py:53: note: Did you mean "List[...]"?
+aliases_typealiastype.py:54: error: Syntax error in type annotation
+aliases_typealiastype.py:54: note: Suggestion: Is there a spurious trailing comma?
+aliases_typealiastype.py:55: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:56: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:57: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:58: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:59: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:60: error: Variable "aliases_typealiastype.var1" is not valid as a type
+aliases_typealiastype.py:60: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_typealiastype.py:61: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:62: error: Invalid type: try using Literal[1] instead?
+aliases_typealiastype.py:63: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:64: error: Invalid type alias: expression is not a valid type
+aliases_typealiastype.py:66: error: Name "BadAlias21" is used before definition
+"""

conformance/results/zuban/aliases_typealiastype.toml

@@ -0,0 +1,9 @@
+conformance_automated = "Pass"
+errors_diff = """
+"""
+output = """
+aliases_variance.py:24: error: Variance of TypeVar "T_co" incompatible with variance in parent type
+aliases_variance.py:28: error: Variance of TypeVar "T_co" incompatible with variance in parent type
+aliases_variance.py:32: error: Variance of TypeVar "T_co" incompatible with variance in parent type
+aliases_variance.py:44: error: Variance of TypeVar "T_contra" incompatible with variance in parent type
+"""

conformance/results/zuban/aliases_variance.toml

@@ -0,0 +1,5 @@
+conformance_automated = "Pass"
+errors_diff = """
+"""
+output = """
+"""

conformance/results/zuban/annotations_coroutines.toml

@@ -0,0 +1,52 @@
+conformant = "Partial"
+notes = """
+Does not report error for a forward reference that is not enclosed in quotes.
+Incorrectly generates error for quoted type defined in class scope.
+Does not ignore newlines in multi-line unions
+"""
+conformance_automated = "Fail"
+errors_diff = """
+Line 22: Expected 1 errors
+Line 23: Expected 1 errors
+Line 24: Expected 1 errors
+Line 25: Expected 1 errors
+Line 66: Expected 1 errors
+Line 82: Unexpected errors ['annotations_forward_refs.py:82: error: Name "str" is not defined']
+Line 87: Unexpected errors ['annotations_forward_refs.py:87: error: Function "annotations_forward_refs.ClassD.int" is not valid as a type']
+Line 95: Unexpected errors ['annotations_forward_refs.py:95: error: Expression is of type "Any", not "str"']
+Line 96: Unexpected errors ['annotations_forward_refs.py:96: error: Expression is of type "Any", not "int"']
+Line 104: Unexpected errors ['annotations_forward_refs.py:104: error: invalid syntax']
+Line 105: Unexpected errors ['annotations_forward_refs.py:105: error: invalid syntax', 'annotations_forward_refs.py:105: error: invalid syntax']
+"""
+output = """
+annotations_forward_refs.py:41: error: Invalid type comment or annotation
+annotations_forward_refs.py:42: error: Bracketed expression "[...]" is not valid as a type
+annotations_forward_refs.py:42: note: Did you mean "List[...]"?
+annotations_forward_refs.py:43: error: Syntax error in type annotation
+annotations_forward_refs.py:43: note: Suggestion: Use Tuple[T1, ..., Tn] instead of (T1, ..., Tn)
+annotations_forward_refs.py:44: error: Invalid type comment or annotation
+annotations_forward_refs.py:45: error: Invalid type comment or annotation
+annotations_forward_refs.py:46: error: Invalid type comment or annotation
+annotations_forward_refs.py:47: error: Invalid type comment or annotation
+annotations_forward_refs.py:48: error: Invalid type comment or annotation
+annotations_forward_refs.py:49: error: Variable "annotations_forward_refs.var1" is not valid as a type
+annotations_forward_refs.py:49: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+annotations_forward_refs.py:50: error: Invalid type comment or annotation
+annotations_forward_refs.py:51: error: Invalid type: try using Literal[1] instead?
+annotations_forward_refs.py:52: error: Invalid type comment or annotation
+annotations_forward_refs.py:53: error: Invalid type comment or annotation
+annotations_forward_refs.py:54: error: Invalid type comment or annotation
+annotations_forward_refs.py:55: error: Module "types" is not valid as a type
+annotations_forward_refs.py:55: note: Perhaps you meant to use a protocol matching the module structure?
+annotations_forward_refs.py:80: error: Name "ClassF" is not defined
+annotations_forward_refs.py:82: error: Name "str" is not defined
+annotations_forward_refs.py:87: error: Function "annotations_forward_refs.ClassD.int" is not valid as a type
+annotations_forward_refs.py:87: note: Perhaps you need "Callable[...]" or a callback protocol?
+annotations_forward_refs.py:89: error: Function "annotations_forward_refs.ClassD.int" is not valid as a type
+annotations_forward_refs.py:89: note: Perhaps you need "Callable[...]" or a callback protocol?
+annotations_forward_refs.py:95: error: Expression is of type "Any", not "str"
+annotations_forward_refs.py:96: error: Expression is of type "Any", not "int"
+annotations_forward_refs.py:104: error: invalid syntax
+annotations_forward_refs.py:105: error: invalid syntax
+annotations_forward_refs.py:105: error: invalid syntax
+"""