Skip to content

Removed experimental support for PEP 736, which was rejected.#10616

Merged
erictraut merged 1 commit intomainfrom
pep736removal
Jun 16, 2025
Merged

Removed experimental support for PEP 736, which was rejected.#10616
erictraut merged 1 commit intomainfrom
pep736removal

Conversation

@erictraut
Copy link
Collaborator

No description provided.

@github-actions
Copy link
Contributor

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

sympy (https://github.com/sympy/sympy)
-   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:96:29 - error: Cannot access attribute "symbol" for class "ConditionalFiniteDomain"
-     Attribute "symbol" is unknown (reportAttributeAccessIssue)
-   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:366:12 - error: Operator "-" not supported for types "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" and "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None"
+   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:366:12 - error: Operator "-" not supported for types "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" and "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None"
-   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:414:21 - error: Argument of type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" cannot be assigned to parameter "expr" of type "Basic" in function "simplify"
+   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:414:21 - error: Argument of type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" cannot be assigned to parameter "expr" of type "Basic" in function "simplify"
-     Type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" is not assignable to type "Basic"
+     Type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" is not assignable to type "Basic"
-   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1004:21 - error: Argument of type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" cannot be assigned to parameter "expr" of type "Basic" in function "simplify"
+   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1004:21 - error: Argument of type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" cannot be assigned to parameter "expr" of type "Basic" in function "simplify"
-     Type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" is not assignable to type "Basic"
+     Type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" is not assignable to type "Basic"
-   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1059:21 - error: Argument of type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" cannot be assigned to parameter "expr" of type "Basic" in function "simplify"
+   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1059:21 - error: Argument of type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" cannot be assigned to parameter "expr" of type "Basic" in function "simplify"
-     Type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" is not assignable to type "Basic"
+     Type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" is not assignable to type "Basic"
-   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1296:61 - error: Operator "**" not supported for types "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" and "Literal[2]"
+   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1296:61 - error: Operator "**" not supported for types "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" and "Literal[2]"
-   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1307:25 - error: Argument of type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" cannot be assigned to parameter "expr" of type "Basic" in function "simplify"
+   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1307:25 - error: Argument of type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" cannot be assigned to parameter "expr" of type "Basic" in function "simplify"
-     Type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" is not assignable to type "Basic"
+     Type "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" is not assignable to type "Basic"
-   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1309:40 - error: Operator "**" not supported for types "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" and "Literal[2]"
+   .../projects/sympy/sympy/stats/tests/test_continuous_rv.py:1309:40 - error: Operator "**" not supported for types "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" and "Literal[2]"
-   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:40:12 - error: Operator "-" not supported for types "Unknown | tuple[Unknown, ...] | Sum | Expr | Zero | NaN | Piecewise | Basic | Literal[0] | None" and "Unknown | Expr | int"
+   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:40:12 - error: Operator "-" not supported for types "Unknown | tuple[Unknown, ...] | Sum | Expr | Any | Zero | NaN | Piecewise | Basic | Literal[0] | None" and "Unknown | Expr | Any | int"
-   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:40:37 - error: Operator "**" not supported for types "Unknown | tuple[Unknown, ...] | Sum | Expr | Zero | NaN | Piecewise | Basic | Literal[0] | None" and "Literal[2]"
+   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:40:37 - error: Operator "**" not supported for types "Unknown | tuple[Unknown, ...] | Sum | Expr | Any | Zero | NaN | Piecewise | Basic | Literal[0] | None" and "Literal[2]"
-   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:84:12 - error: Operator "-" not supported for types "Unknown | tuple[Unknown, ...] | Sum | Expr | Zero | NaN | Piecewise | Basic | Literal[0] | None" and "Unknown | Expr | int"
+   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:84:12 - error: Operator "-" not supported for types "Unknown | tuple[Unknown, ...] | Sum | Expr | Any | Zero | NaN | Piecewise | Basic | Literal[0] | None" and "Unknown | Expr | Any | int"
-   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:84:37 - error: Operator "**" not supported for types "Unknown | tuple[Unknown, ...] | Sum | Expr | Zero | NaN | Piecewise | Basic | Literal[0] | None" and "Literal[2]"
+   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:84:37 - error: Operator "**" not supported for types "Unknown | tuple[Unknown, ...] | Sum | Expr | Any | Zero | NaN | Piecewise | Basic | Literal[0] | None" and "Literal[2]"
-   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:137:33 - error: Operator "+" not supported for types "Expr | Basic | Expectation | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None" and "Expr | Unknown | tuple[Unknown, ...] | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Any | MatMul | int"
+   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:137:33 - error: Operator "+" not supported for types "Expr | Basic | Expectation | tuple[Unknown, ...] | Unknown | Sum | Any | Zero | NaN | Piecewise | Integral | ExpectationMatrix | Literal[0] | None" and "Expr | Unknown | tuple[Unknown, ...] | Any | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | MatMul | int"
-   .../projects/sympy/sympy/stats/tests/test_discrete_rv.py:137:43 - error: Operator "*" not supported for types "Literal[2]" and "RandomSymbol | Basic | Expectation | Expr | tuple[Unknown, ...] | Unknown | Sum | Zero | NaN | Piecewise | Integral | Any | ExpectationMatrix | Literal[0] | None"

... (truncated 538 lines) ...

@erictraut erictraut merged commit 5ba9dcf into main Jun 16, 2025
16 checks passed
@erictraut erictraut deleted the pep736removal branch June 16, 2025 23:45
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