Skip to content

Remove tests with invalid syntax (Python 3.14) #2093

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hauntsaninja merged 1 commit into from
Oct 8, 2025
Merged

Remove tests with invalid syntax (Python 3.14) #2093

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 24 additions & 24 deletions conformance/results/mypy/qualifiers_annotated.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,33 +7,33 @@ Does not reject type[T] compatibility for type alias defined with Annotated.
Does not reject call of type alias defined with Annotated.
"""
output = """
qualifiers_annotated.py:43: error: Bracketed expression "[...]" is not valid as a type [valid-type]
qualifiers_annotated.py:44: error: Syntax error in type annotation [syntax]
qualifiers_annotated.py:44: note: Suggestion: Is there a spurious trailing comma?
qualifiers_annotated.py:45: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:46: error: Inline TypedDict is experimental, must be enabled with --enable-incomplete-feature=InlineTypedDict [misc]
qualifiers_annotated.py:46: error: Name "b" is not defined [name-defined]
qualifiers_annotated.py:47: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:38: error: Bracketed expression "[...]" is not valid as a type [valid-type]
qualifiers_annotated.py:39: error: Syntax error in type annotation [syntax]
qualifiers_annotated.py:39: note: Suggestion: Is there a spurious trailing comma?
qualifiers_annotated.py:40: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:41: error: Inline TypedDict is experimental, must be enabled with --enable-incomplete-feature=InlineTypedDict [misc]
qualifiers_annotated.py:41: error: Name "b" is not defined [name-defined]
qualifiers_annotated.py:42: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:43: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:44: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:45: error: Name "var1" is not defined [name-defined]
qualifiers_annotated.py:46: error: Invalid type: try using Literal[True] instead? [valid-type]
qualifiers_annotated.py:47: error: Invalid type: try using Literal[1] instead? [valid-type]
qualifiers_annotated.py:48: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:49: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:50: error: Name "var1" is not defined [name-defined]
qualifiers_annotated.py:51: error: Invalid type: try using Literal[True] instead? [valid-type]
qualifiers_annotated.py:52: error: Invalid type: try using Literal[1] instead? [valid-type]
qualifiers_annotated.py:53: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:54: error: Invalid type comment or annotation [valid-type]
qualifiers_annotated.py:64: error: Annotated[...] must have exactly one type argument and at least one annotation [valid-type]
qualifiers_annotated.py:76: error: Incompatible types in assignment (expression has type "<typing special form>", variable has type "type[Any]") [assignment]
qualifiers_annotated.py:84: error: Argument 1 to "func4" has incompatible type "<typing special form>"; expected "type[Never]" [arg-type]
qualifiers_annotated.py:91: error: "<typing special form>" not callable [operator]
qualifiers_annotated.py:92: error: "<typing special form>" not callable [operator]
qualifiers_annotated.py:98: error: Invalid type: ClassVar nested inside other type [valid-type]
qualifiers_annotated.py:100: error: Final can be only used as an outermost qualifier in a variable annotation [valid-type]
qualifiers_annotated.py:59: error: Annotated[...] must have exactly one type argument and at least one annotation [valid-type]
qualifiers_annotated.py:71: error: Incompatible types in assignment (expression has type "<typing special form>", variable has type "type[Any]") [assignment]
qualifiers_annotated.py:79: error: Argument 1 to "func4" has incompatible type "<typing special form>"; expected "type[Never]" [arg-type]
qualifiers_annotated.py:86: error: "<typing special form>" not callable [operator]
qualifiers_annotated.py:87: error: "<typing special form>" not callable [operator]
qualifiers_annotated.py:93: error: Invalid type: ClassVar nested inside other type [valid-type]
qualifiers_annotated.py:95: error: Final can be only used as an outermost qualifier in a variable annotation [valid-type]
"""
conformance_automated = "Fail"
errors_diff = """
Line 77: Expected 1 errors
Line 85: Expected 1 errors
Line 93: Expected 1 errors
Line 98: Unexpected errors ['qualifiers_annotated.py:98: error: Invalid type: ClassVar nested inside other type [valid-type]']
Line 100: Unexpected errors ['qualifiers_annotated.py:100: error: Final can be only used as an outermost qualifier in a variable annotation [valid-type]']
Line 72: Expected 1 errors
Line 80: Expected 1 errors
Line 88: Expected 1 errors
Line 93: Unexpected errors ['qualifiers_annotated.py:93: error: Invalid type: ClassVar nested inside other type [valid-type]']
Line 95: Unexpected errors ['qualifiers_annotated.py:95: error: Final can be only used as an outermost qualifier in a variable annotation [valid-type]']
"""
48 changes: 24 additions & 24 deletions conformance/results/pyre/qualifiers_annotated.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,31 +4,31 @@ Does not reject Annotated with a single parameter.
Does not reject call of Annotated with no type arguments.
"""
output = """
qualifiers_annotated.py:43:6 Undefined or invalid type [11]: Annotation `` is not defined as a type.
qualifiers_annotated.py:44:6 Invalid type [31]: Expression `typing.Annotated[(((int, str)), "")]` is not a valid type.
qualifiers_annotated.py:45:6 Invalid type [31]: Expression `typing.Annotated[(comprehension(int for generators(generator(i in range(1) if ))), "")]` is not a valid type.
qualifiers_annotated.py:46:6 Invalid type [31]: Expression `typing.Annotated[({ "a":"b" }, "")]` is not a valid type.
qualifiers_annotated.py:47:6 Invalid type [31]: Expression `typing.Annotated[(lambda () (int)(), "")]` is not a valid type.
qualifiers_annotated.py:48:6 Invalid type [31]: Expression `typing.Annotated[([int][0], "")]` is not a valid type.
qualifiers_annotated.py:49:6 Invalid type [31]: Expression `typing.Annotated[(int if 1 < 3 else str, "")]` is not a valid type.
qualifiers_annotated.py:50:16 Unbound name [10]: Name `var1` is used but not defined in the current scope.
qualifiers_annotated.py:51:6 Invalid type [31]: Expression `typing.Annotated[(True, "")]` is not a valid type.
qualifiers_annotated.py:52:7 Invalid type [31]: Expression `typing.Annotated[(1, "")]` is not a valid type.
qualifiers_annotated.py:53:7 Invalid type [31]: Expression `typing.Annotated[(list or set, "")]` is not a valid type.
qualifiers_annotated.py:54:7 Invalid type [31]: Expression `typing.Annotated[(f"{"int"}", "")]` is not a valid type.
qualifiers_annotated.py:64:7 Invalid type parameters [24]: Generic type `Annotated` expects at least 2 type parameters, received 1.
qualifiers_annotated.py:77:0 Incompatible variable type [9]: not_type2 is declared to have type `Type[typing.Any]` but is used as type `TypeAlias`.
qualifiers_annotated.py:85:6 Incompatible parameter type [6]: In call `func4`, for 1st positional argument, expected `Type[Variable[T]]` but got `TypeAlias`.
qualifiers_annotated.py:91:0 Invalid class instantiation [45]: `Annotated` cannot be instantiated.
qualifiers_annotated.py:93:0 Call error [29]: `TypeAlias` is not a function.
qualifiers_annotated.py:105:4 Undefined attribute [16]: `typing.Type` has no attribute `a`.
qualifiers_annotated.py:106:4 Undefined attribute [16]: `typing.Type` has no attribute `b`.
qualifiers_annotated.py:38:6 Undefined or invalid type [11]: Annotation `` is not defined as a type.
qualifiers_annotated.py:39:6 Invalid type [31]: Expression `typing.Annotated[(((int, str)), "")]` is not a valid type.
qualifiers_annotated.py:40:6 Invalid type [31]: Expression `typing.Annotated[(comprehension(int for generators(generator(i in range(1) if ))), "")]` is not a valid type.
qualifiers_annotated.py:41:6 Invalid type [31]: Expression `typing.Annotated[({ "a":"b" }, "")]` is not a valid type.
qualifiers_annotated.py:42:6 Invalid type [31]: Expression `typing.Annotated[(lambda () (int)(), "")]` is not a valid type.
qualifiers_annotated.py:43:6 Invalid type [31]: Expression `typing.Annotated[([int][0], "")]` is not a valid type.
qualifiers_annotated.py:44:6 Invalid type [31]: Expression `typing.Annotated[(int if 1 < 3 else str, "")]` is not a valid type.
qualifiers_annotated.py:45:16 Unbound name [10]: Name `var1` is used but not defined in the current scope.
qualifiers_annotated.py:46:6 Invalid type [31]: Expression `typing.Annotated[(True, "")]` is not a valid type.
qualifiers_annotated.py:47:7 Invalid type [31]: Expression `typing.Annotated[(1, "")]` is not a valid type.
qualifiers_annotated.py:48:7 Invalid type [31]: Expression `typing.Annotated[(list or set, "")]` is not a valid type.
qualifiers_annotated.py:49:7 Invalid type [31]: Expression `typing.Annotated[(f"{"int"}", "")]` is not a valid type.
qualifiers_annotated.py:59:7 Invalid type parameters [24]: Generic type `Annotated` expects at least 2 type parameters, received 1.
qualifiers_annotated.py:72:0 Incompatible variable type [9]: not_type2 is declared to have type `Type[typing.Any]` but is used as type `TypeAlias`.
qualifiers_annotated.py:80:6 Incompatible parameter type [6]: In call `func4`, for 1st positional argument, expected `Type[Variable[T]]` but got `TypeAlias`.
qualifiers_annotated.py:86:0 Invalid class instantiation [45]: `Annotated` cannot be instantiated.
qualifiers_annotated.py:88:0 Call error [29]: `TypeAlias` is not a function.
qualifiers_annotated.py:100:4 Undefined attribute [16]: `typing.Type` has no attribute `a`.
qualifiers_annotated.py:101:4 Undefined attribute [16]: `typing.Type` has no attribute `b`.
"""
conformance_automated = "Fail"
errors_diff = """
Line 76: Expected 1 errors
Line 84: Expected 1 errors
Line 92: Expected 1 errors
Line 105: Unexpected errors ['qualifiers_annotated.py:105:4 Undefined attribute [16]: `typing.Type` has no attribute `a`.']
Line 106: Unexpected errors ['qualifiers_annotated.py:106:4 Undefined attribute [16]: `typing.Type` has no attribute `b`.']
Line 71: Expected 1 errors
Line 79: Expected 1 errors
Line 87: Expected 1 errors
Line 100: Unexpected errors ['qualifiers_annotated.py:100:4 Undefined attribute [16]: `typing.Type` has no attribute `a`.']
Line 101: Unexpected errors ['qualifiers_annotated.py:101:4 Undefined attribute [16]: `typing.Type` has no attribute `b`.']
"""
44 changes: 22 additions & 22 deletions conformance/results/pyrefly/qualifiers_annotated.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,28 +4,28 @@ Allows Annotated in some contexts where it should not be allowed
"""
conformance_automated = "Fail"
errors_diff = """
Line 76: Expected 1 errors
Line 77: Expected 1 errors
Line 84: Expected 1 errors
Line 85: Expected 1 errors
Line 92: Expected 1 errors
Line 93: Expected 1 errors
Line 71: Expected 1 errors
Line 72: Expected 1 errors
Line 79: Expected 1 errors
Line 80: Expected 1 errors
Line 87: Expected 1 errors
Line 88: Expected 1 errors
"""
output = """
ERROR qualifiers_annotated.py:43:17-27: list literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:44:17-30: tuple literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:45:17-40: list comprehension cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:46:17-27: dict literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:46:19-20: Could not find name `a` [unknown-name]
ERROR qualifiers_annotated.py:46:24-25: Could not find name `b` [unknown-name]
ERROR qualifiers_annotated.py:47:17-32: function call cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:48:17-25: invalid subscript expression cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:49:17-38: if expression cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:50:17-21: Could not find name `var1` [unknown-name]
ERROR qualifiers_annotated.py:51:17-21: bool literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:52:18-19: number literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:53:18-29: boolean operation cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:54:18-28: f-string cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:64:8-22: `Annotated` needs at least one piece of metadata in addition to the type [invalid-annotation]
ERROR qualifiers_annotated.py:91:1-10: Expected a callable, got type[Annotated] [not-callable]
ERROR qualifiers_annotated.py:38:17-27: list literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:39:17-30: tuple literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:40:17-40: list comprehension cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:41:17-27: dict literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:41:19-20: Could not find name `a` [unknown-name]
ERROR qualifiers_annotated.py:41:24-25: Could not find name `b` [unknown-name]
ERROR qualifiers_annotated.py:42:17-32: function call cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:43:17-25: invalid subscript expression cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:44:17-38: if expression cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:45:17-21: Could not find name `var1` [unknown-name]
ERROR qualifiers_annotated.py:46:17-21: bool literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:47:18-19: number literal cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:48:18-29: boolean operation cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:49:18-28: f-string cannot be used in annotations [invalid-annotation]
ERROR qualifiers_annotated.py:59:8-22: `Annotated` needs at least one piece of metadata in addition to the type [invalid-annotation]
ERROR qualifiers_annotated.py:86:1-10: Expected a callable, got `type[Annotated]` [not-callable]
"""
50 changes: 25 additions & 25 deletions conformance/results/pyright/qualifiers_annotated.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,36 +1,36 @@
conformant = "Pass"
output = """
qualifiers_annotated.py:43:17 - error: List expression not allowed for this type argument (reportInvalidTypeForm)
qualifiers_annotated.py:44:17 - error: Expected class but received "tuple[tuple[type[int], type[str]]]" (reportGeneralTypeIssues)
qualifiers_annotated.py:45:17 - error: List expression not allowed for this type argument (reportInvalidTypeForm)
qualifiers_annotated.py:45:18 - error: Expected class but received "Generator[type[int], None, None]" (reportGeneralTypeIssues)
qualifiers_annotated.py:46:17 - error: Expected class but received "dict[str, Unknown]" (reportGeneralTypeIssues)
qualifiers_annotated.py:46:17 - error: Dictionary expression not allowed in type expression (reportInvalidTypeForm)
qualifiers_annotated.py:46:24 - error: "b" is not defined (reportUndefinedVariable)
qualifiers_annotated.py:47:17 - error: Call expression not allowed in type expression (reportInvalidTypeForm)
qualifiers_annotated.py:48:17 - error: List expression not allowed in type expression
qualifiers_annotated.py:38:17 - error: List expression not allowed for this type argument (reportInvalidTypeForm)
qualifiers_annotated.py:39:17 - error: Expected class but received "tuple[tuple[type[int], type[str]]]" (reportGeneralTypeIssues)
qualifiers_annotated.py:40:17 - error: List expression not allowed for this type argument (reportInvalidTypeForm)
qualifiers_annotated.py:40:18 - error: Expected class but received "Generator[type[int], None, None]" (reportGeneralTypeIssues)
qualifiers_annotated.py:41:17 - error: Expected class but received "dict[str, Unknown]" (reportGeneralTypeIssues)
qualifiers_annotated.py:41:17 - error: Dictionary expression not allowed in type expression (reportInvalidTypeForm)
qualifiers_annotated.py:41:24 - error: "b" is not defined (reportUndefinedVariable)
qualifiers_annotated.py:42:17 - error: Call expression not allowed in type expression (reportInvalidTypeForm)
qualifiers_annotated.py:43:17 - error: List expression not allowed in type expression
  Use list[T] to indicate a list type or T1 | T2 to indicate a union type (reportInvalidTypeForm)
qualifiers_annotated.py:48:17 - error: Expected class but received "list[type[int]]" (reportGeneralTypeIssues)
qualifiers_annotated.py:48:23 - error: Expected class but received "Literal[0]" (reportGeneralTypeIssues)
qualifiers_annotated.py:49:17 - error: Ternary expression not allowed in type expression (reportInvalidTypeForm)
qualifiers_annotated.py:50:17 - error: "var1" is not defined (reportUndefinedVariable)
qualifiers_annotated.py:51:17 - error: Expected class but received "Literal[True]" (reportGeneralTypeIssues)
qualifiers_annotated.py:52:18 - error: Expected class but received "Literal[1]" (reportGeneralTypeIssues)
qualifiers_annotated.py:53:18 - error: Binary operator not allowed in type expression (reportInvalidTypeForm)
qualifiers_annotated.py:54:18 - error: Type expressions cannot use format string literals (f-strings) (reportGeneralTypeIssues)
qualifiers_annotated.py:64:8 - error: Expected one type argument and one or more annotations for "Annotated" (reportInvalidTypeForm)
qualifiers_annotated.py:76:24 - error: Type "Annotated" is not assignable to declared type "type[Any]"
qualifiers_annotated.py:43:17 - error: Expected class but received "list[type[int]]" (reportGeneralTypeIssues)
qualifiers_annotated.py:43:23 - error: Expected class but received "Literal[0]" (reportGeneralTypeIssues)
qualifiers_annotated.py:44:17 - error: Ternary expression not allowed in type expression (reportInvalidTypeForm)
qualifiers_annotated.py:45:17 - error: "var1" is not defined (reportUndefinedVariable)
qualifiers_annotated.py:46:17 - error: Expected class but received "Literal[True]" (reportGeneralTypeIssues)
qualifiers_annotated.py:47:18 - error: Expected class but received "Literal[1]" (reportGeneralTypeIssues)
qualifiers_annotated.py:48:18 - error: Binary operator not allowed in type expression (reportInvalidTypeForm)
qualifiers_annotated.py:49:18 - error: Type expressions cannot use format string literals (f-strings) (reportGeneralTypeIssues)
qualifiers_annotated.py:59:8 - error: Expected one type argument and one or more annotations for "Annotated" (reportInvalidTypeForm)
qualifiers_annotated.py:71:24 - error: Type "Annotated" is not assignable to declared type "type[Any]"
  "Annotated" is not assignable to "type[Any]" (reportAssignmentType)
qualifiers_annotated.py:77:24 - error: Type "SmallInt" is not assignable to declared type "type[Any]"
qualifiers_annotated.py:72:24 - error: Type "SmallInt" is not assignable to declared type "type[Any]"
  "Annotated" is not assignable to "type[Any]" (reportAssignmentType)
qualifiers_annotated.py:84:7 - error: Argument of type "Annotated" cannot be assigned to parameter "x" of type "type[T@func4]" in function "func4"
qualifiers_annotated.py:79:7 - error: Argument of type "Annotated" cannot be assigned to parameter "x" of type "type[T@func4]" in function "func4"
  Type "Annotated" is not assignable to type "type[T@func4]" (reportArgumentType)
qualifiers_annotated.py:85:7 - error: Argument of type "SmallInt" cannot be assigned to parameter "x" of type "type[T@func4]" in function "func4"
qualifiers_annotated.py:80:7 - error: Argument of type "SmallInt" cannot be assigned to parameter "x" of type "type[T@func4]" in function "func4"
  Type "Annotated" is not assignable to type "type[T@func4]" (reportArgumentType)
qualifiers_annotated.py:91:1 - error: "Annotated" cannot be instantiated (reportCallIssue)
qualifiers_annotated.py:92:1 - error: Object of type "Annotated" is not callable
qualifiers_annotated.py:86:1 - error: "Annotated" cannot be instantiated (reportCallIssue)
qualifiers_annotated.py:87:1 - error: Object of type "Annotated" is not callable
  Attribute "__call__" is unknown (reportCallIssue)
qualifiers_annotated.py:93:1 - error: Object of type "Annotated" is not callable (reportCallIssue)
qualifiers_annotated.py:88:1 - error: Object of type "Annotated" is not callable (reportCallIssue)
"""
conformance_automated = "Pass"
errors_diff = """
Expand Down
Loading