[ty] fix the divergence of recursive inference due to ambiguous overload by mtshiba · Pull Request #25548 · astral-sh/ruff (original) (raw)

`ecosystem-analyzer` results

Lint rule	Added	Removed	Changed
invalid-argument-type	0	0	2
invalid-return-type	0	0	1
not-iterable	0	0	1
unsupported-operator	0	0	1
Total	0	0	5

Raw diff:

colour (https://github.com/colour-science/colour)

colour/notation/munsell/centore2014.py:329:12 error[invalid-return-type] Return type does not match returned value: expected tuple[tuple[tuple[int | float, int | float], int | float], ...], found tuple[tuple[tuple[Unknown, Unknown, Unknown], int | float], ...]

colour/notation/munsell/centore2014.py:329:12 error[invalid-return-type] Return type does not match returned value: expected tuple[tuple[tuple[int | float, int | float], int | float], ...], found tuple[tuple[Unknown, Unknown], ...] | tuple[tuple[tuple[Unknown, Unknown, Unknown], int | float], ...]

dd-trace-py (https://github.com/DataDog/dd-trace-py)

ddtrace/vendor/ply/lex.py:319:40 error[not-iterable] Object of type None | Unknown | list[tuple[Unknown, Unknown]] may not be iterable

ddtrace/vendor/ply/lex.py:319:40 error[not-iterable] Object of type None | Unknown | list[Unknown] | list[tuple[Unknown, Unknown]] may not be iterable

ddtrace/vendor/ply/yacc.py:3159:42 error[invalid-argument-type] Argument to function getsourcefile is incorrect: Expected ModuleType | type[Any] | ((...) -> Any) | ... omitted 3 union elements, found ModuleType | None

ddtrace/vendor/ply/yacc.py:3159:42 error[invalid-argument-type] Argument to function getsourcefile is incorrect: Expected ModuleType | type[Any] | ((...) -> Any) | ... omitted 3 union elements, found Unknown | ModuleType | None

sympy (https://github.com/sympy/sympy)

sympy/matrices/sparse.py:202:49 error[unsupported-operator] Operator >= is not supported between objects of type (Expr & ~AlwaysFalsy) | (int & ~AlwaysFalsy) | (Unknown & ~AlwaysFalsy) and None | Unknown

sympy/matrices/sparse.py:202:49 error[unsupported-operator] Operator >= is not supported between objects of type (Unknown & ~AlwaysFalsy) | (Expr & ~AlwaysFalsy) | (int & ~AlwaysFalsy) and None | Unknown

sympy/physics/secondquant.py:1883:38 error[invalid-argument-type] Argument to constructor Mul.__new__ is incorrect: Expected Expr | int | float | complex, found Basic | Unknown

sympy/physics/secondquant.py:1883:38 error[invalid-argument-type] Argument to constructor Mul.__new__ is incorrect: Expected Expr | int | float | complex, found Unknown | Basic

Full report with detailed diff (timing results)