Skip to content

Extended deprecateTypingAliases feature to support symbols imported… #10194

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.

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
merged 1 commit into from
Mar 28, 2025

Conversation

erictraut
Copy link
Collaborator

… from typing_extensions. This addresses #10190.

Copy link
Contributor

Diff from mypy_primer, showing the effect of this PR on open source code:

sympy (https://github.com/sympy/sympy)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_matchpy_connector.py:120:18 - error: Argument of type "Equality | Unknown | Relational | Unequality | Integer" cannot be assigned to parameter "expr" of type "Expr" in function "add"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_matchpy_connector.py:120:18 - error: Argument of type "Equality | Unknown" cannot be assigned to parameter "expr" of type "Expr" in function "add"
-     Type "Equality | Unknown | Relational | Unequality | Integer" is not assignable to type "Expr"
+     Type "Equality | Unknown" is not assignable to type "Expr"
-       "Relational" is not assignable to "Expr" (reportArgumentType)
+       "Equality" is not assignable to "Expr" (reportArgumentType)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_matchpy_connector.py:123:18 - error: Argument of type "Equality | Unknown | Relational | Unequality | Integer" cannot be assigned to parameter "expr" of type "Expr" in function "add"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_matchpy_connector.py:123:18 - error: Argument of type "Equality | Unknown" cannot be assigned to parameter "expr" of type "Expr" in function "add"
-     Type "Equality | Unknown | Relational | Unequality | Integer" is not assignable to type "Expr"
+     Type "Equality | Unknown" is not assignable to type "Expr"
-       "Relational" is not assignable to "Expr" (reportArgumentType)
+       "Equality" is not assignable to "Expr" (reportArgumentType)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_matchpy_connector.py:126:9 - error: Argument of type "Equality | Unknown | Relational | Unequality | Integer" cannot be assigned to parameter "expr" of type "Expr" in function "add"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_matchpy_connector.py:126:9 - error: Argument of type "Equality | Unknown" cannot be assigned to parameter "expr" of type "Expr" in function "add"
-     Type "Equality | Unknown | Relational | Unequality | Integer" is not assignable to type "Expr"
+     Type "Equality | Unknown" is not assignable to type "Expr"
-       "Relational" is not assignable to "Expr" (reportArgumentType)
+       "Equality" is not assignable to "Expr" (reportArgumentType)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_matchpy_connector.py:132:9 - error: Argument of type "Equality | Unknown | Relational | Unequality | Integer" cannot be assigned to parameter "expr" of type "Expr" in function "add"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_matchpy_connector.py:132:9 - error: Argument of type "Equality | Unknown" cannot be assigned to parameter "expr" of type "Expr" in function "add"
-     Type "Equality | Unknown | Relational | Unequality | Integer" is not assignable to type "Expr"
+     Type "Equality | Unknown" is not assignable to type "Expr"
-       "Relational" is not assignable to "Expr" (reportArgumentType)
+       "Equality" is not assignable to "Expr" (reportArgumentType)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:895:12 - error: Operator "/" not supported for types "Equality | Unknown | Relational | Unequality | Integer" and "Literal[2]"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:895:12 - error: Operator "/" not supported for types "Equality | Unknown" and "Literal[2]"
-     Operator "/" not supported for types "Equality" and "Literal[2]"
-     Operator "/" not supported for types "Relational" and "Literal[2]"
-     Operator "/" not supported for types "Unequality" and "Literal[2]" (reportOperatorIssue)
+     Operator "/" not supported for types "Equality" and "Literal[2]" (reportOperatorIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1863:12 - error: Cannot access attribute "combsimp" for class "Relational"
-     Attribute "combsimp" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1863:12 - error: Cannot access attribute "combsimp" for class "Unequality"
-     Attribute "combsimp" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1911:14 - error: Cannot access attribute "factor" for class "Relational"
-     Attribute "factor" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1911:14 - error: Cannot access attribute "factor" for class "Unequality"
-     Attribute "factor" is unknown (reportAttributeAccessIssue)
-     Attribute "combsimp" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1918:14 - error: Cannot access attribute "combsimp" for class "Relational"
-     Attribute "combsimp" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1918:14 - error: Cannot access attribute "combsimp" for class "Unequality"
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1932:12 - error: Cannot access attribute "combsimp" for class "Relational"
-     Attribute "combsimp" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1932:12 - error: Cannot access attribute "combsimp" for class "Unequality"
-     Attribute "combsimp" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1992:22 - error: Argument of type "Equality | Unknown | Relational | Unequality | Integer | NaN | Sum" cannot be assigned to parameter "x" of type "ConvertibleToFloat" in function "__new__"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1992:22 - error: Argument of type "Equality | Unknown | NaN | Sum" cannot be assigned to parameter "x" of type "ConvertibleToFloat" in function "__new__"
-     Type "Equality | Unknown | Relational | Unequality | Integer | NaN | Sum" is not assignable to type "ConvertibleToFloat"
+     Type "Equality | Unknown | NaN | Sum" is not assignable to type "ConvertibleToFloat"
-       Type "Relational" is not assignable to type "ConvertibleToFloat"
+       Type "Equality" is not assignable to type "ConvertibleToFloat"
-         "Relational" is not assignable to "str"
+         "Equality" is not assignable to "str"
-         "Relational" is incompatible with protocol "Buffer"
+         "Equality" is incompatible with protocol "Buffer"
-         "Relational" is incompatible with protocol "SupportsFloat"
+         "Equality" is incompatible with protocol "SupportsFloat"
-         "Relational" is incompatible with protocol "SupportsIndex"
+         "Equality" is incompatible with protocol "SupportsIndex"
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1992:22 - error: Argument of type "Equality | Unknown | Relational | Unequality | Integer | NaN | Sum" cannot be assigned to parameter "x" of type "ConvertibleToFloat" in function "__new__"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:1992:22 - error: Argument of type "Equality | Unknown | NaN | Sum" cannot be assigned to parameter "x" of type "ConvertibleToFloat" in function "__new__"
-     Type "Equality | Unknown | Relational | Unequality | Integer | NaN | Sum" is not assignable to type "ConvertibleToFloat"
+     Type "Equality | Unknown | NaN | Sum" is not assignable to type "ConvertibleToFloat"
-       Type "Relational" is not assignable to type "ConvertibleToFloat"
+       Type "Equality" is not assignable to type "ConvertibleToFloat"
-         "Relational" is not assignable to "str"
+         "Equality" is not assignable to "str"
-         "Relational" is incompatible with protocol "Buffer"
+         "Equality" is incompatible with protocol "Buffer"
-         "Relational" is incompatible with protocol "SupportsFloat"
+         "Equality" is incompatible with protocol "SupportsFloat"
-         "Relational" is incompatible with protocol "SupportsIndex" (reportArgumentType)
+         "Equality" is incompatible with protocol "SupportsIndex" (reportArgumentType)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:2074:56 - error: Cannot access attribute "gammasimp" for class "Relational"
-     Attribute "gammasimp" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:2074:56 - error: Cannot access attribute "gammasimp" for class "Unequality"
-     Attribute "gammasimp" is unknown (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:2973:37 - error: Operator "*" not supported for types "Literal[2]" and "Equality | Unknown | Relational | Unequality | Integer | NaN | Sum"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:2973:37 - error: Operator "*" not supported for types "Literal[2]" and "Equality | Unknown | NaN | Sum"
-     Operator "*" not supported for types "Literal[2]" and "Equality"
-     Operator "*" not supported for types "Literal[2]" and "Relational"
-     Operator "*" not supported for types "Literal[2]" and "Unequality" (reportOperatorIssue)
+     Operator "*" not supported for types "Literal[2]" and "Equality" (reportOperatorIssue)
-   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:2978:17 - error: Operator "*" not supported for types "Literal[2]" and "Equality | Unknown | Relational | Unequality | Integer | NaN | Sum"
+   /tmp/mypy_primer/projects/sympy/sympy/utilities/tests/test_wester.py:2978:17 - error: Operator "*" not supported for types "Literal[2]" and "Equality | Unknown | NaN | Sum"
-     Operator "*" not supported for types "Literal[2]" and "Equality"
-     Operator "*" not supported for types "Literal[2]" and "Relational"
-     Operator "*" not supported for types "Literal[2]" and "Unequality" (reportOperatorIssue)

... (truncated 3 lines) ...

@erictraut erictraut merged commit 5fb35d2 into main Mar 28, 2025
17 checks passed
@erictraut erictraut deleted the issue-10190 branch March 28, 2025 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant