Diagnostic Diff Report

Lint Rule	Removed	Added	Changed
Total	1	33	1
invalid-argument-type	0	25	0
not-iterable	0	5	0
unresolved-attribute	0	2	1
invalid-return-type	0	1	0
type-assertion-failure	1	0	0

Project	Removed	Added	Changed
Total	1	33	1
schema_salad	0	28	0
egglog-python	1	2	0
jax	0	3	0
pylint	0	0	1

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

python/egglog/egraph_state.py

:150:45

[error] unresolved-attribute - Attribute `id` is not defined on `None` in union `BackOffDecl | None`

:623:25

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

python/egglog/thunk.py

:59:24

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

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

jax/experimental/mosaic/gpu/constraints.py

:638:44

[error] invalid-argument-type - Argument to bound method `IsTransferableTmemRegisters.is_valid_tmem_transfer` is incorrect: Expected `TMEMLayout`, found `TiledLayout | WGSplatFragLayout | WGStridedFragLayout`

:640:44

[error] invalid-argument-type - Argument to bound method `IsTransferableTmemRegisters.is_valid_tmem_transfer` is incorrect: Expected `TMEMLayout`, found `TiledLayout | WGSplatFragLayout | WGStridedFragLayout`

:823:18

[error] unresolved-attribute - Attribute `base_tile_shape` is not defined on `WGSplatFragLayout`, `WGStridedFragLayout` in union `WGSplatFragLayout | WGStridedFragLayout | TiledLayout`

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

pylint/checkers/classes/class_checker.py

:946:54

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

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

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

src/schema_salad/dotnet_codegen.py

:428:38

[error] invalid-argument-type - Argument to bound method `DotNetCodeGen.type_loader` is incorrect: Expected `list[Any] | dict[str, Any] | str`, found `object`

:438:38

[error] invalid-argument-type - Argument to bound method `DotNetCodeGen.type_loader` is incorrect: Expected `list[Any] | dict[str, Any] | str`, found `object`

:482:46

[error] invalid-argument-type - Argument to function `DotNetCodeGen.safe_name` is incorrect: Expected `str`, found `object`

:491:59

[error] not-iterable - Object of type `object` is not iterable

src/schema_salad/java_codegen.py

:432:38

[error] invalid-argument-type - Argument to bound method `JavaCodeGen.type_loader` is incorrect: Expected `list[Any] | dict[str, Any] | str`, found `object`

:449:38

[error] invalid-argument-type - Argument to bound method `JavaCodeGen.type_loader` is incorrect: Expected `list[Any] | dict[str, Any] | str`, found `object`

:476:60

[error] invalid-argument-type - Argument to function `JavaCodeGen.safe_name` is incorrect: Expected `str`, found `object`

:479:54

[error] invalid-argument-type - Argument to function `JavaCodeGen.safe_name` is incorrect: Expected `str`, found `object`

:480:45

[error] invalid-argument-type - Argument to function `JavaCodeGen.safe_name` is incorrect: Expected `str`, found `object`

:501:46

[error] invalid-argument-type - Argument to function `JavaCodeGen.safe_name` is incorrect: Expected `str`, found `object`

:510:53

[error] not-iterable - Object of type `object` is not iterable

src/schema_salad/python_codegen.py

:394:46

[error] invalid-argument-type - Argument to bound method `PythonCodeGen.type_loader` is incorrect: Expected `list[Any] | dict[str, Any] | str`, found `object`

:402:46

[error] invalid-argument-type - Argument to bound method `PythonCodeGen.type_loader` is incorrect: Expected `list[Any] | dict[str, Any] | str`, found `object`

:427:28

[error] not-iterable - Object of type `object` is not iterable

:440:40