[ty] Fix assignability of intersections with bounded typevars by AlexWaygood · Pull Request #24502 · astral-sh/ruff (original) (raw)

ecosystem-analyzer results

Large timing changes:

Changes in flaky projects detected. Raw diff output excludes flaky projects; see the HTML report for details.

Raw diff (16 changes)

Tanjun (https://github.com/FasterSpeeding/Tanjun)

• tanjun/annotations.py:1949:74 error[invalid-argument-type] Argument to bound method __init__ is incorrect: Expected int | float, found _NumberT@__getitem__ & ~int
• tanjun/annotations.py:1996:74 error[invalid-argument-type] Argument to bound method __init__ is incorrect: Expected int | float, found _NumberT@__getitem__ & ~int
• tanjun/annotations.py:2110:75 error[invalid-argument-type] Argument to bound method __init__ is incorrect: Expected int | float, found _NumberT@__getitem__ & ~float
• tanjun/annotations.py:2110:86 error[invalid-argument-type] Argument to bound method __init__ is incorrect: Expected int | float, found _NumberT@__getitem__ & ~float
• tanjun/annotations.py:2724:26 error[invalid-argument-type] Argument to function parse_annotated_args is incorrect: Expected SlashCommand[Any] | MessageCommand[Any], found _CommandUnionT@with_annotated_args & ~AlwaysFalsy

altair (https://github.com/vega/altair)

• altair/vegalite/v6/api.py:1179:45 error[invalid-argument-type] Argument to function _reveal_parsed_shorthand is incorrect: Expected Mapping[str, Any], found _C@Then & Top[dict[Unknown, Unknown]]

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

• src/arti/internal/type_hints.py:177:37 error[invalid-argument-type] Argument to function _check_issubclass is incorrect: Expected type, found T@lenient_issubclass & ~tuple[object, ...]

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

• beartype/_decor/_nontype/decornontype.py:161:43 error[invalid-argument-type] Argument is incorrect: Argument type BeartypeableT@beartype_nontype & ~type does not satisfy upper bound ((...) -> Any) | classmethod[Unknown, (...), Unknown] | property of type variable BeartypeableT
• beartype/_decor/_nontype/decornontype.py:220:47 error[invalid-argument-type] Argument is incorrect: Argument type BeartypeableT@beartype_nontype & ~type does not satisfy upper bound ((...) -> Any) | classmethod[Unknown, (...), Unknown] | property of type variable BeartypeableT
• beartype/_decor/decorcore.py:133:26 error[invalid-argument-type] Argument to function beartype_nontype is incorrect: Argument type BeartypeableT@_beartype_object_fatal & ~type does not satisfy upper bound ((...) -> Any) | classmethod[Unknown, (...), Unknown] | property of type variable BeartypeableT

hydpy (https://github.com/hydpy-dev/hydpy)

• hydpy/auxs/iuhtools.py:436:25 error[unsupported-operator] Unary operator - is not supported for object of type VectorFloatFlex@__call__ | Unknown
• hydpy/auxs/iuhtools.py:431:17 error[no-matching-overload] No overload of function clip matches arguments

• hydpy/auxs/iuhtools.py:431:17 error[invalid-assignment] Object of type ndarray[tuple[Any, ...], dtype[Any]] is not assignable to VectorFloatFlex@__call__

setuptools (https://github.com/pypa/setuptools)

• setuptools/glob.py:75:42 error[invalid-argument-type] Argument to function has_magic is incorrect: Expected str | bytes, found AnyStr@_iglob & ~AlwaysFalsy

xarray (https://github.com/pydata/xarray)

• xarray/core/dtypes.py:92:36 error[invalid-argument-type] Argument to function datetime_data is incorrect: Expected str | _HasDType[dtype[datetime64[date | int | None] | timedelta64[timedelta | int | None]]] | dtype[datetime64[date | int | None] | timedelta64[timedelta | int | None]] | _HasNumPyDType[dtype[datetime64[date | int | None] | timedelta64[timedelta | int | None]]], found T_dtype@maybe_promote & dtype[object]
• xarray/core/dtypes.py:105:36 error[invalid-argument-type] Argument to function datetime_data is incorrect: Expected str | _HasDType[dtype[datetime64[date | int | None] | timedelta64[timedelta | int | None]]] | dtype[datetime64[date | int | None] | timedelta64[timedelta | int | None]] | _HasNumPyDType[dtype[datetime64[date | int | None] | timedelta64[timedelta | int | None]]], found T_dtype@maybe_promote & dtype[object]

Full report with detailed diff (timing results)