Fixed bug that results in a false positive reportUnusedVariable err…

[erictraut]

…or under specific conditions when an expression's local type has a circular dependency. This addresses #10512.

[github-actions]

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

ibis (https://github.com/ibis-project/ibis)
+   .../projects/ibis/ibis/backends/polars/compiler.py:397:21 - error: "col" is not a known attribute of module "polars" (reportAttributeAccessIssue)
+   .../projects/ibis/ibis/backends/polars/compiler.py:1134:18 - error: "when" is not a known attribute of module "polars" (reportAttributeAccessIssue)
- 7224 errors, 240 warnings, 0 informations 
+ 7226 errors, 240 warnings, 0 informations 

paasta (https://github.com/yelp/paasta)
-   .../projects/paasta/paasta_tools/cli/cmds/mark_for_deployment.py:1563:22 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/cli/cmds/status.py:1080:56 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/cli/cmds/status.py:1082:53 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/cli/cmds/status.py:1263:25 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/cli/cmds/status.py:1284:22 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/cli/cmds/status.py:1306:57 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/paastaapi/model_utils.py:142:24 - error: "required_types_mixed" is unbound (reportUnboundVariable)
+   .../projects/paasta/paasta_tools/paastaapi/model_utils.py:142:24 - error: "required_types_mixed" is possibly unbound (reportPossiblyUnboundVariable)
-   .../projects/paasta/paasta_tools/paastaapi/model_utils.py:396:36 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/paastaapi/model_utils.py:443:35 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/paastaapi/model_utils.py:477:35 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/paastaapi/model_utils.py:516:35 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
-   .../projects/paasta/paasta_tools/paastaapi/model_utils.py:537:36 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
- 1240 errors, 119 warnings, 0 informations 
+ 1229 errors, 119 warnings, 0 informations 

openlibrary (https://github.com/internetarchive/openlibrary)
-   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:629:23 - error: Operator "|" not supported for types "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown" and "dict[str, Any]"
+   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:629:23 - error: Operator "|" not supported for types "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | list[Unknown] | Unknown | dict[str, str]] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | list[Unknown] | dict[str, Unknown] | dict[Unknown, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | dict[Unknown, Unknown] | list[Unknown] | Unknown | dict[str, str]" and "dict[str, Any]"
-     Operator "|" not supported for types "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown]" and "dict[str, Any]" when expected type is "dict[str, Any]" (reportOperatorIssue)
+     Operator "|" not supported for types "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | list[Unknown] | dict[str, Unknown] | dict[Unknown, Unknown] | Unknown | dict[str, str]]" and "dict[str, Any]" when expected type is "dict[str, Any]"
-   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:858:26 - error: Type "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown" is not assignable to declared type "dict[Unknown, Unknown]"
-     Type "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown" is not assignable to type "dict[Unknown, Unknown]"
-       "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown]" is not assignable to "dict[Unknown, Unknown]" (reportAssignmentType)
+     Operator "|" not supported for types "list[Unknown]" and "dict[str, Any]" when expected type is "dict[str, Any]" (reportOperatorIssue)
+   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:858:26 - error: Type "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | list[Unknown] | Unknown | dict[str, str]] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | list[Unknown] | dict[str, Unknown] | dict[Unknown, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | dict[Unknown, Unknown] | list[Unknown] | Unknown | dict[str, str]" is not assignable to declared type "dict[Unknown, Unknown]"
+     Type "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | list[Unknown] | Unknown | dict[str, str]] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | list[Unknown] | dict[str, Unknown] | dict[Unknown, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | dict[Unknown, Unknown] | list[Unknown] | Unknown | dict[str, str]" is not assignable to type "dict[Unknown, Unknown]"
+       "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | list[Unknown] | dict[str, Unknown] | dict[Unknown, Unknown] | Unknown | dict[str, str]]" is not assignable to "dict[Unknown, Unknown]" (reportAssignmentType)
-   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:898:41 - error: Argument of type "Unknown | str | dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str]" cannot be assigned to parameter "iterable" of type "Iterable[tuple[str, _VT@defaultdict]]" in function "__init__"
+   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:898:41 - error: Argument of type "Unknown | str | dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | list[Unknown] | dict[str, str]" cannot be assigned to parameter "iterable" of type "Iterable[tuple[str, _VT@defaultdict]]" in function "__init__"
-     Type "Unknown | str | dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str]" is not assignable to type "Iterable[tuple[str, list[Unknown]]]"
+     Type "Unknown | str | dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | list[Unknown] | dict[str, str]" is not assignable to type "Iterable[tuple[str, list[Unknown]]]"
-   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:898:56 - error: Cannot access attribute "get" for class "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown]"
+   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:898:56 - error: Cannot access attribute "get" for class "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | list[Unknown] | dict[str, Unknown] | dict[Unknown, Unknown] | Unknown | dict[str, str]]"
-   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:902:27 - error: Cannot access attribute "get" for class "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown]"
+   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:898:56 - error: Cannot access attribute "get" for class "list[Unknown]"
+     Attribute "get" is unknown (reportAttributeAccessIssue)
+   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:902:27 - error: Cannot access attribute "get" for class "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | list[Unknown] | dict[str, Unknown] | dict[Unknown, Unknown] | Unknown | dict[str, str]]"
+     Attribute "get" is unknown (reportAttributeAccessIssue)
+   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:902:27 - error: Cannot access attribute "get" for class "list[Unknown]"
-   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:1021:25 - error: Argument of type "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown" cannot be assigned to parameter "edition" of type "dict[Unknown, Unknown]" in function "new_work"
-     Type "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | dict[str, Unknown] | dict[str, str] | Unknown" is not assignable to type "dict[Unknown, Unknown]"
-       "list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown] | list[Unknown] | dict[str, Unknown] | dict[str, str] | Unknown]" is not assignable to "dict[Unknown, Unknown]" (reportArgumentType)
+   .../projects/openlibrary/openlibrary/catalog/add_book/__init__.py:1021:25 - error: Argument of type "dict[Unknown, dict[Unknown, Unknown] | list[dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | list[Unknown] | Unknown | dict[str, str]] | list[dict[Unknown, dict[Unknown, Unknown] | list[Unknown] | dict[str, Unknown] | Unknown | dict[str, str]] | list[Unknown] | dict[str, Unknown] | dict[Unknown, Unknown] | Unknown | dict[str, str]] | dict[str, Unknown] | dict[Unknown, Unknown] | list[Unknown] | Unknown | dict[str, str]" cannot be assigned to parameter "edition" of type "dict[Unknown, Unknown]" in function "new_work"

... (truncated 14 lines) ...

comtypes (https://github.com/enthought/comtypes)
-   .../projects/comtypes/comtypes/client/lazybind.py:105:20 - error: Object of type "(*args: Unknown) -> (Unknown | Any)" is not subscriptable (reportIndexIssue)
+   .../projects/comtypes/comtypes/client/lazybind.py:105:20 - error: Object of type "(*args: Unknown) -> Unknown" is not subscriptable (reportIndexIssue)
-   .../projects/comtypes/comtypes/client/lazybind.py:121:13 - error: Object of type "(*args: Unknown) -> (Unknown | Any)" is not subscriptable (reportIndexIssue)
+   .../projects/comtypes/comtypes/client/lazybind.py:121:13 - error: Object of type "(*args: Unknown) -> Unknown" is not subscriptable (reportIndexIssue)
+   .../projects/comtypes/comtypes/client/lazybind.py:146:41 - error: Cannot access attribute "_invoke" for class "NamedProperty"
+   .../projects/comtypes/comtypes/client/lazybind.py:146:41 - error: Cannot access attribute "_invoke" for class "FunctionType"
-   .../projects/comtypes/comtypes/client/lazybind.py:160:37 - error: Cannot access attribute "_invoke" for class "NamedProperty"
-   .../projects/comtypes/comtypes/client/lazybind.py:160:37 - error: Cannot access attribute "_invoke" for class "FunctionType"

sympy (https://github.com/sympy/sympy)
-   .../projects/sympy/sympy/concrete/expr_with_limits.py:555:20 - error: Operator "*" not supported for types "Unknown | Literal[1]" and "Unknown | Basic"
+   .../projects/sympy/sympy/concrete/expr_with_limits.py:555:20 - error: Operator "*" not supported for types "Unknown | Literal[1]" and "Unknown | Basic | Piecewise"
-     Return type mismatch: base method returns type "Basic", override returns type "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero"
+     Return type mismatch: base method returns type "Basic", override returns type "tuple[Unknown, ...] | Unknown | Product* | Basic | BooleanFalse | BooleanTrue | Equality | Expr | Self@Product | ComplexInfinity | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero"
-       Type "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero" is not assignable to type "Basic"
+       Type "tuple[Unknown, ...] | Unknown | Product* | Basic | BooleanFalse | BooleanTrue | Equality | Expr | ComplexInfinity | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero" is not assignable to type "Basic"
-   .../projects/sympy/sympy/concrete/products.py:275:21 - error: Operator "/" not supported for types "Literal[1]" and "Basic | One | Unknown | Zero | NegativeOne | Integer | NaN | ComplexInfinity | Rational | Infinity | NegativeInfinity | Float | Number | Expr"
+   .../projects/sympy/sympy/concrete/products.py:275:21 - error: Operator "/" not supported for types "Literal[1]" and "Basic | One | Unknown | tuple[Unknown, ...] | Product* | Equality | BooleanFalse | BooleanTrue | NaN | Zero | NegativeOne | Integer | ComplexInfinity | Rational | Infinity | NegativeInfinity | Float | Number | Expr"
+     Operator "/" not supported for types "Literal[1]" and "Basic"
+     Operator "/" not supported for types "Literal[1]" and "tuple[Unknown, ...]"
-     Operator "/" not supported for types "Literal[1]" and "Basic" (reportOperatorIssue)
+     Operator "/" not supported for types "Literal[1]" and "Equality" (reportOperatorIssue)
+   .../projects/sympy/sympy/concrete/products.py:284:22 - error: Cannot access attribute "doit" for class "tuple[Unknown, ...]"
+     Attribute "doit" is unknown (reportAttributeAccessIssue)
-     Return type mismatch: base method returns type "Basic", override returns type "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None"
+     Return type mismatch: base method returns type "Basic", override returns type "tuple[Unknown, ...] | Unknown | Sum | Expr | Zero | NaN | Piecewise | Basic | None"
-       Type "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None" is not assignable to type "Basic"
+       Type "tuple[Unknown, ...] | Unknown | Sum | Expr | Zero | NaN | Piecewise | Basic | None" is not assignable to type "Basic"
-   .../projects/sympy/sympy/concrete/summations.py:252:21 - error: Operator "-" not supported for type "Basic | Zero | Unknown | NaN | Piecewise | Sum" (reportOperatorIssue)
+   .../projects/sympy/sympy/concrete/summations.py:252:21 - error: Operator "-" not supported for type "Basic | Zero | Unknown | NaN | Piecewise | Sum | Expr" (reportOperatorIssue)
-   .../projects/sympy/sympy/concrete/tests/test_products.py:68:12 - error: Operator "*" not supported for types "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero | BooleanFalse | BooleanTrue | Equality" and "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero | BooleanFalse | BooleanTrue | Equality"
+   .../projects/sympy/sympy/concrete/tests/test_products.py:68:12 - error: Operator "*" not supported for types "tuple[Unknown, ...] | Unknown | Product | Basic | BooleanFalse | BooleanTrue | ComplexInfinity | Equality | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero" and "tuple[Unknown, ...] | Unknown | Product | Basic | BooleanFalse | BooleanTrue | ComplexInfinity | Equality | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero"
-   .../projects/sympy/sympy/concrete/tests/test_products.py:100:21 - error: Operator "*" not supported for types "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero | BooleanFalse | BooleanTrue | Equality" and "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero | BooleanFalse | BooleanTrue | Equality"
+   .../projects/sympy/sympy/concrete/tests/test_products.py:100:21 - error: Operator "*" not supported for types "tuple[Unknown, ...] | Unknown | Product | Basic | BooleanFalse | BooleanTrue | ComplexInfinity | Equality | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero" and "tuple[Unknown, ...] | Unknown | Product | Basic | BooleanFalse | BooleanTrue | ComplexInfinity | Equality | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero"
-   .../projects/sympy/sympy/concrete/tests/test_products.py:157:25 - error: Operator "/" not supported for types "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero | BooleanFalse | BooleanTrue | Equality" and "Unknown | Expr | tuple[Unknown, ...] | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Infinity | NegativeInfinity | Float | _NotImplementedType"
+   .../projects/sympy/sympy/concrete/tests/test_products.py:157:25 - error: Operator "/" not supported for types "tuple[Unknown, ...] | Unknown | Product | Basic | BooleanFalse | BooleanTrue | ComplexInfinity | Equality | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero" and "Unknown | Expr | tuple[Unknown, ...] | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Infinity | NegativeInfinity | Float | _NotImplementedType"
-   .../projects/sympy/sympy/concrete/tests/test_products.py:157:30 - error: Operator "*" not supported for types "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero | BooleanFalse | BooleanTrue | Equality" and "tuple[Unknown, ...] | Unknown | Product | Basic | ComplexInfinity | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero | BooleanFalse | BooleanTrue | Equality"
+   .../projects/sympy/sympy/concrete/tests/test_products.py:157:30 - error: Operator "*" not supported for types "tuple[Unknown, ...] | Unknown | Product | Basic | BooleanFalse | BooleanTrue | ComplexInfinity | Equality | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero" and "tuple[Unknown, ...] | Unknown | Product | Basic | BooleanFalse | BooleanTrue | ComplexInfinity | Equality | Expr | Float | Infinity | Integer | NaN | NegativeInfinity | NegativeOne | Number | One | Rational | Zero"
-   .../projects/sympy/sympy/concrete/tests/test_sums_products.py:94:21 - error: Operator "+" not supported for types "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None" and "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None"
+   .../projects/sympy/sympy/concrete/tests/test_sums_products.py:94:21 - error: Operator "+" not supported for types "tuple[Unknown, ...] | Unknown | Sum | Expr | Zero | NaN | Piecewise | Basic | None" and "tuple[Unknown, ...] | Unknown | Sum | Expr | Zero | NaN | Piecewise | Basic | None"
-   .../projects/sympy/sympy/concrete/tests/test_sums_products.py:125:21 - error: Operator "+" not supported for types "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None" and "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None"
+   .../projects/sympy/sympy/concrete/tests/test_sums_products.py:125:21 - error: Operator "+" not supported for types "tuple[Unknown, ...] | Unknown | Sum | Expr | Zero | NaN | Piecewise | Basic | None" and "tuple[Unknown, ...] | Unknown | Sum | Expr | Zero | NaN | Piecewise | Basic | None"
-   .../projects/sympy/sympy/concrete/tests/test_sums_products.py:211:16 - error: Operator "-" not supported for types "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None" and "tuple[Unknown, ...] | Unknown | Expr | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Infinity | NegativeInfinity | Float | Number"
+   .../projects/sympy/sympy/concrete/tests/test_sums_products.py:211:16 - error: Operator "-" not supported for types "tuple[Unknown, ...] | Unknown | Sum | Expr | Zero | NaN | Piecewise | Basic | None" and "tuple[Unknown, ...] | Unknown | Expr | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Infinity | NegativeInfinity | Float | Number"
-   .../projects/sympy/sympy/concrete/tests/test_sums_products.py:211:21 - error: Operator "+" not supported for types "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None" and "tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Basic | None"

... (truncated 623 lines) ...

scikit-learn (https://github.com/scikit-learn/scikit-learn)
-   .../projects/scikit-learn/sklearn/feature_extraction/text.py:1376:25 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
+   .../projects/scikit-learn/sklearn/feature_selection/_base.py:154:31 - error: Cannot access attribute "ravel" for class "csc_matrix[Any]"
+     Attribute "ravel" is unknown (reportAttributeAccessIssue)
- ...tmp/mypy_primer/projects/scikit-learn/sklearn/tree/_reingold_tilford.py:55:24 - error: Argument of type "tuple[float, int]" cannot be assigned to parameter "object" of type "NoReturn" in function "append"
-     Type "tuple[float, int]" is not assignable to type "NoReturn" (reportArgumentType)
- 15148 errors, 444 warnings, 0 informations 
+ 15147 errors, 444 warnings, 0 informations 

pip (https://github.com/pypa/pip)
-   .../projects/pip/src/pip/_vendor/distlib/util.py:120:26 - error: "NoReturn" is not iterable (reportGeneralTypeIssues)
- 1627 errors, 24 warnings, 0 informations 
+ 1626 errors, 24 warnings, 0 informations 

stone (https://github.com/dropbox/stone)
-   .../projects/stone/test/test_python_gen.py:528:28 - error: Cannot access attribute "get_a" for class "list[Unknown | dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None] | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:528:28 - error: Cannot access attribute "get_a" for class "list[Unknown | list[Unknown] | dict[Unknown, Unknown] | datetime | bytes | None]"
-   .../projects/stone/test/test_python_gen.py:528:28 - error: Cannot access attribute "get_a" for class "dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:528:28 - error: Cannot access attribute "get_a" for class "dict[Unknown, Unknown]"
-   .../projects/stone/test/test_python_gen.py:532:28 - error: Cannot access attribute "_tag" for class "list[Unknown | dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None] | datetime | bytes | None]"
-   .../projects/stone/test/test_python_gen.py:532:28 - error: Cannot access attribute "_tag" for class "dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:532:28 - error: Cannot access attribute "_tag" for class "list[Unknown | list[Unknown] | dict[Unknown, Unknown] | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:532:28 - error: Cannot access attribute "_tag" for class "dict[Unknown, Unknown]"
-   .../projects/stone/test/test_python_gen.py:533:33 - error: Cannot access attribute "_tag" for class "list[Unknown | dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None] | datetime | bytes | None]"
-   .../projects/stone/test/test_python_gen.py:533:33 - error: Cannot access attribute "_tag" for class "dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:533:33 - error: Cannot access attribute "_tag" for class "list[Unknown | list[Unknown] | dict[Unknown, Unknown] | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:533:33 - error: Cannot access attribute "_tag" for class "dict[Unknown, Unknown]"
-   .../projects/stone/test/test_python_gen.py:538:28 - error: Cannot access attribute "_tag" for class "list[Unknown | dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None] | datetime | bytes | None]"
-   .../projects/stone/test/test_python_gen.py:538:28 - error: Cannot access attribute "_tag" for class "dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:538:28 - error: Cannot access attribute "_tag" for class "list[Unknown | list[Unknown] | dict[Unknown, Unknown] | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:538:28 - error: Cannot access attribute "_tag" for class "dict[Unknown, Unknown]"
-   .../projects/stone/test/test_python_gen.py:539:33 - error: Cannot access attribute "_tag" for class "list[Unknown | dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None] | datetime | bytes | None]"
-   .../projects/stone/test/test_python_gen.py:539:33 - error: Cannot access attribute "_tag" for class "dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:539:33 - error: Cannot access attribute "_tag" for class "list[Unknown | list[Unknown] | dict[Unknown, Unknown] | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:539:33 - error: Cannot access attribute "_tag" for class "dict[Unknown, Unknown]"
-   .../projects/stone/test/test_python_gen.py:543:28 - error: Cannot access attribute "get_c" for class "list[Unknown | dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None] | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:543:28 - error: Cannot access attribute "get_c" for class "list[Unknown | list[Unknown] | dict[Unknown, Unknown] | datetime | bytes | None]"
-   .../projects/stone/test/test_python_gen.py:543:28 - error: Cannot access attribute "get_c" for class "dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:543:28 - error: Cannot access attribute "get_c" for class "dict[Unknown, Unknown]"
-   .../projects/stone/test/test_python_gen.py:550:28 - error: Cannot access attribute "get_d" for class "list[Unknown | dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None] | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:550:28 - error: Cannot access attribute "get_d" for class "list[Unknown | list[Unknown] | dict[Unknown, Unknown] | datetime | bytes | None]"
-   .../projects/stone/test/test_python_gen.py:550:28 - error: Cannot access attribute "get_d" for class "dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:550:28 - error: Cannot access attribute "get_d" for class "dict[Unknown, Unknown]"
-   .../projects/stone/test/test_python_gen.py:555:28 - error: Cannot access attribute "get_d" for class "list[Unknown | dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None] | datetime | bytes | None]"
+   .../projects/stone/test/test_python_gen.py:555:28 - error: Cannot access attribute "get_d" for class "list[Unknown | list[Unknown] | dict[Unknown, Unknown] | datetime | bytes | None]"
-   .../projects/stone/test/test_python_gen.py:555:28 - error: Cannot access attribute "get_d" for class "dict[Unknown | datetime | bytes | None, Unknown | datetime | bytes | None]"

... (truncated 91 lines) ...```