Skip to content

Conversation

@DetachHead
Copy link
Owner

fixes #1271

@DetachHead DetachHead force-pushed the fix-constructor-references branch from ceb5383 to 5585d17 Compare August 3, 2025 10:46
@github-actions
Copy link
Contributor

github-actions bot commented Aug 3, 2025

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

sympy (https://github.com/sympy/sympy)
-     Type of "cse" is "(exprs: Unknown, symbols: Unknown | None = None, optimizations: Unknown | None = None, postprocess: Unknown | None = None, order: str = 'canonical', ignore: Unknown = (), list: bool = True) -> (tuple[Unknown | list[tuple[Unknown, Unknown]], str] | tuple[Unknown | list[tuple[Unknown, Unknown]], list[Unknown] | set[Unknown] | tuple[Unknown, ...]] | tuple[Unknown | list[tuple[Unknown, Unknown]], dict[Unknown, Unknown]] | tuple[Unknown | list[tuple[Unknown, Unknown]], Unknown] | tuple[list[Unknown], Unknown] | tuple[list[tuple[Unknown, Unknown]], list[Unknown]] | Unknown)" (reportUnknownVariableType)
+     Type of "cse" is "(exprs: Unknown, symbols: Unknown | None = None, optimizations: Unknown | None = None, postprocess: Unknown | None = None, order: str = 'canonical', ignore: Unknown = (), list: bool = True) -> (tuple[Unknown, str] | tuple[Unknown | list[tuple[Unknown, Unknown]], list[Unknown] | set[Unknown] | tuple[Unknown, ...]] | tuple[Unknown | list[tuple[Unknown, Unknown]], dict[Unknown, Unknown]] | tuple[Unknown | list[tuple[Unknown, Unknown]], Unknown] | tuple[list[Unknown], Unknown] | tuple[list[tuple[Unknown, Unknown]], list[Unknown]] | Unknown)" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/simplify/tests/test_cse.py:91:15 - warning: Type of "red42" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:91:15 - warning: Type of "red42" is partially unknown
+     Type of "red42" is "str | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/simplify/tests/test_cse.py:93:18 - warning: Type of "red_half" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:93:18 - warning: Type of "red_half" is partially unknown
+     Type of "red_half" is "str | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:104:23 - error: "__getitem__" method not defined on type "set[Unknown]" (reportIndexIssue)
-   .../projects/sympy/sympy/simplify/tests/test_cse.py:106:15 - warning: Type of "red42" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:106:15 - warning: Type of "red42" is partially unknown
+     Type of "red42" is "str | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/simplify/tests/test_cse.py:108:18 - warning: Type of "red_half" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:108:18 - warning: Type of "red_half" is partially unknown
+     Type of "red_half" is "str | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "_" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "_" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "_" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "_" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "_" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "_" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/simplify/tests/test_cse.py:252:5 - warning: Type of "cse_expr" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:252:5 - warning: Type of "cse_expr" is partially unknown
+     Type of "cse_expr" is "str | Unknown" (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:252:16 - error: "__getitem__" method not defined on type "set[Unknown]" (reportIndexIssue)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:253:21 - error: Cannot access attribute "free_symbols" for class "str"
+     Attribute "free_symbols" is unknown (reportAttributeAccessIssue)
-   .../projects/sympy/sympy/simplify/tests/test_cse.py:262:16 - warning: Type of "expr" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:262:16 - warning: Type of "expr" is partially unknown
+     Type of "expr" is "str | Unknown" (reportUnknownVariableType)
-   .../projects/sympy/sympy/simplify/tests/test_cse.py:270:16 - warning: Type of "expr" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:270:16 - warning: Type of "expr" is partially unknown
+     Type of "expr" is "str | Unknown" (reportUnknownVariableType)
-     Type of "c" is "Unknown | tuple[list[tuple[Unknown, Unknown]], list[Unknown]]" (reportUnknownVariableType)
+     Type of "c" is "tuple[Unknown, str] | tuple[Unknown | list[tuple[Unknown, Unknown]], list[Unknown] | set[Unknown] | tuple[Unknown, ...]] | tuple[Unknown | list[tuple[Unknown, Unknown]], dict[Unknown, Unknown]] | tuple[Unknown | list[tuple[Unknown, Unknown]], Unknown] | tuple[list[Unknown], Unknown] | tuple[list[tuple[Unknown, Unknown]], list[Unknown]] | Unknown" (reportUnknownVariableType)
-     Type of "r" is "Unknown | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Expr" (reportUnknownVariableType)
+     Type of "r" is "Unknown | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Infinity | NegativeInfinity | Float | _NotImplementedType | Expr" (reportUnknownVariableType)
-     Type of "reduced_exprs" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced_exprs" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced_exprs" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced_exprs" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced_exprs" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced_exprs" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "reduced_exprs" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced_exprs" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
-     Type of "ans" is "Unknown | tuple[list[tuple[Unknown, Unknown]], list[Unknown]]" (reportUnknownVariableType)
+     Type of "ans" is "tuple[Unknown, str] | tuple[Unknown | list[tuple[Unknown, Unknown]], list[Unknown] | set[Unknown] | tuple[Unknown, ...]] | tuple[Unknown | list[tuple[Unknown, Unknown]], dict[Unknown, Unknown]] | tuple[Unknown | list[tuple[Unknown, Unknown]], Unknown] | tuple[list[Unknown], Unknown] | tuple[list[tuple[Unknown, Unknown]], list[Unknown]] | Unknown" (reportUnknownVariableType)
-     Type of "reduced" is "Unknown | list[Unknown]" (reportUnknownVariableType)
+     Type of "reduced" is "str | list[Unknown] | set[Unknown] | tuple[Unknown, ...] | dict[Unknown, Unknown] | Unknown" (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/tests/test_cse.py:399:15 - error: Cannot access attribute "subs" for class "str"
+     Attribute "subs" is unknown (reportAttributeAccessIssue)
-   .../projects/sympy/sympy/simplify/tests/test_cse.py:399:42 - warning: Type of "e" is unknown (reportUnknownVariableType)

... (truncated 6886 lines) ...

@DetachHead DetachHead merged commit 54bdbde into main Aug 3, 2025
18 checks passed
@DetachHead DetachHead deleted the fix-constructor-references branch August 3, 2025 12:56
@DetachHead DetachHead changed the title update find all references to find where classes are instantiated fro update find all references to find where classes are instantiated from __init__ and __new__ methods Aug 3, 2025
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.

Find all references for __init__ doesn't work correctly

2 participants