Diagnostic Diff Report

Ecosystem report

                Old: main (merge base)
                71541d47
                →
                New: 25941/merge
                b89049bb
            

Lint Rule	Removed	Added	Changed
Total	2	16	5
unresolved-attribute	0	8	0
invalid-argument-type	0	6	0
invalid-assignment	0	0	3
type-assertion-failure	1	0	2
invalid-return-type	1	1	0
no-matching-overload	0	1	0

Project	Removed	Added	Changed
Total	2	16	5
pylint	0	10	0
egglog-python	1	1	2
cwltool	0	3	0
pytest	0	0	3
jax	1	0	0
schema_salad	0	1	0
typeshed-stats	0	1	0

cwltool (https://github.com/common-workflow-language/cwltool)

cwltool/main.py

:244:57

[error] no-matching-overload - No overload of bound method `str.join` matches arguments

cwltool/validate_js.py

:101:29

[error] invalid-argument-type - Method `__getitem__` of type `bound method Top[MutableMapping[Unknown, Unknown]].__getitem__(key: Never, /) -> object` cannot be called with key of type `str` on object of type `Top[MutableMapping[Unknown, Unknown]]`

:101:29

[error] invalid-argument-type - Method `__getitem__` of type `bound method str.__getitem__(key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> str` cannot be called with key of type `str` on object of type `str`

egglog-python (https://github.com/egraphs-good/egglog-python)

python/egglog/egraph_state.py

:378:25

[error] type-assertion-failure - Type `Unknown & ~Literal["delete"] & ~Literal["subsume"]` is not equivalent to `Never`

:623:25

[error] type-assertion-failure - Type `Unknown & ~None` is not equivalent to `Never`

[error] type-assertion-failure - Type `Value` is not equivalent to `Never`

python/egglog/pretty.py

:309:17

[error] type-assertion-failure - Type `Unknown & ~None` is not equivalent to `Never`

[error] type-assertion-failure - Type `Value` is not equivalent to `Never`

python/egglog/thunk.py

:69:28

[error] invalid-return-type - Return type does not match returned value: expected `T@__call__`, found `TypeVar`

jax (https://github.com/google/jax)

jax/experimental/mosaic/gpu/constraints.py

:211:6

[error] invalid-return-type - Function can implicitly return `None`, which is not assignable to return type `Variable | RegisterLayout | TMEMLayout | ... omitted 6 union elements`

pylint (https://github.com/pycqa/pylint)

pylint/checkers/match_statements_checker.py

:164:25

[error] unresolved-attribute - Attribute `value` is not defined on `NodeNG` in union `NodeNG | Proxy`

pylint/checkers/classes/class_checker.py

:946:54

[error] unresolved-attribute - Attribute `name` is not defined on `NodeNG` in union `NodeNG | UninferableBase | Proxy`

pylint/checkers/refactoring/recommendation_checker.py

:261:29

[error] unresolved-attribute - Attribute `name` is not defined on `Attribute` in union `Attribute | Name`

:265:29

[error] unresolved-attribute - Attribute `attrname` is not defined on `Name` in union `Attribute | Name`

pylint/checkers/refactoring/refactoring_checker.py

:652:16

[error] unresolved-attribute - Object of type `NodeNG | None` has no attribute `value`

:1178:12

[error] unresolved-attribute - Object of type `NodeNG` has no attribute `name`

:1830:32

[error] unresolved-attribute - Attribute `name` is not defined on `NodeNG` in union `NodeNG | Proxy`

:1841:38

[error] unresolved-attribute - Attribute `name` is not defined on `NodeNG` in union `NodeNG | Proxy`

pylint/checkers/utils.py

:1303:83

[error] invalid-argument-type - Argument to function `has_known_bases` is incorrect: Expected `ClassDef`, found `(ClassDef & BaseInstance) | (FunctionDef & BaseInstance) | (Lambda & BaseInstance) | (UnboundMethod & BaseInstance)`

:1304:38

[error] invalid-argument-type - Argument is incorrect: Expected `NodeNG`, found `(ClassDef & BaseInstance) | (FunctionDef & BaseInstance) | (Lambda & BaseInstance) | (UnboundMethod & BaseInstance)`

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

src/_pytest/assertion/rewrite.py

:1012:25

[error] invalid-assignment - Invalid subscript assignment with key of type `Unknown` and value of type `expr` on object of type `dict[str, str]`

[error] invalid-assignment - Invalid subscript assignment with key of type `str` and value of type `expr` on object of type `dict[str, str]`

:1110:17

[error] invalid-assignment - Invalid subscript assignment with key of type `Unknown` and value of type `NamedExpr` on object of type `dict[str, str]`

[error] invalid-assignment - Invalid subscript assignment with key of type `str` and value of type `NamedExpr` on object of type `dict[str, str]`

:1128:21

[error] invalid-assignment - Invalid subscript assignment with key of type `Unknown` and value of type `NamedExpr` on object of type `dict[str, str]`

[error] invalid-assignment - Invalid subscript assignment with key of type `Any & str` and value of type `NamedExpr` on object of type `dict[str, str]`

schema_salad (https://github.com/common-workflow-language/schema_salad)

src/schema_salad/typescript_codegen.py

:408:25

[error] invalid-argument-type - Argument is incorrect: Expected `bool`, found `Any | str | Literal[False]`

steam.py (https://github.com/Gobot1234/steam.py)

steam/chat.py

:474:13

flaky

(1/10)

[warning] possibly-missing-attribute - Attribute `reactions` may be missing on object of type `ChatMessageT@Chat`

typeshed-stats (https://github.com/AlexWaygood/typeshed-stats)

src/typeshed_stats/gather.py

:520:27

[error] invalid-argument-type - Argument to function `sorted` is incorrect: Expected `Iterable[str]`, found `Top[list[Unknown]]`