Diagnostic Diff Report

Ecosystem report

                Old: main (merge base)
                ef39e10d
                →
                New: 25637/merge
                1773238f
            

Lint Rule	Added	Changed
Total	12	4
invalid-argument-type	11	0
type-assertion-failure	0	4
invalid-return-type	1	0

Project	Added	Changed
Total	12	4
cwltool	7	0
jax	1	3
schema_salad	4	0
mitmproxy	0	1

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

cwltool/secrets.py

:46:40

[error] invalid-argument-type - Argument to bound method `SecretStore.has_secret` is incorrect: Expected `int | str | float | ... omitted 4 union elements`, found `object`

:50:40

[error] invalid-argument-type - Argument to bound method `SecretStore.has_secret` is incorrect: Expected `int | str | float | ... omitted 4 union elements`, found `object`

:62:24

:62:42

[error] invalid-argument-type - Argument to bound method `SecretStore.retrieve` is incorrect: Expected `int | str | float | ... omitted 4 union elements`, found `object`

:64:39

[error] invalid-argument-type - Argument to bound method `SecretStore.retrieve` is incorrect: Expected `int | str | float | ... omitted 4 union elements`, found `object`

cwltool/process.py

:507:44

[error] invalid-argument-type - Argument to function `var_spool_cwl_detector` is incorrect: Expected `int | str | float | ... omitted 5 union elements`, found `object`

:510:44

[error] invalid-argument-type - Argument to function `var_spool_cwl_detector` is incorrect: Expected `int | str | float | ... omitted 5 union elements`, found `object`

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

jax/_src/pallas/mosaic_gpu/lowering.py

:1630:55

[error] invalid-argument-type - Argument to bound method `UnswizzleRef.commute_reshape` is incorrect: Expected `ShapedArray`, found `AbstractValue`

jax/experimental/mosaic/gpu/constraints.py

:1019:7

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

[error] type-assertion-failure - Type `(Equals & ~AlwaysTrue) | (Relayout & ~AlwaysTrue) | (NotOfType & ~AlwaysTrue) | ... omitted 5 union elements` is not equivalent to `Never`

:1057:11

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

[error] type-assertion-failure - Type `(Reduce & ~Variable & ~RegisterLayout & ~SMEMTransforms & ~TMEMLayout) | (Reshape & ~Variable & ~RegisterLayout & ~SMEMTransforms & ~TMEMLayout) | (Transpose & ~Variable & ~RegisterLayout & ~SMEMTransforms & ~TMEMLayout) | (CollapseShape & ~Variable & ~RegisterLayout & ~SMEMTransforms & ~TMEMLayout)` is not equivalent to `Never`

:1083:11

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

[error] type-assertion-failure - Type `(Equals & ~AlwaysTrue) | (Relayout & ~AlwaysTrue) | (NotOfType & ~AlwaysTrue) | ... omitted 5 union elements` is not equivalent to `Never`

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

test/mitmproxy/addons/test_dns_resolver.py

:155:17

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

[error] type-assertion-failure - Type `tuple[Literal["nxdomain.example.com", "no-a-records.example.com", "no-network.example.com", "txt.example.com", "ipv4.example.com", "ipv6.example.com"], Literal["nameservers", "no-nameservers"], Literal["hosts", "no-hosts"]] & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'>` is not equivalent to `Never`

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

src/schema_salad/dotnet_codegen.py

:509:45

[error] invalid-argument-type - Argument to function `DotNetCodeGen.safe_name` is incorrect: Expected `str`, found `(dict[str, Any] & ~Top[MutableSequence[Unknown]]) | (str & ~Top[MutableSequence[Unknown]])`

src/schema_salad/java_codegen.py

:571:45

[error] invalid-argument-type - Argument to function `JavaCodeGen.safe_name` is incorrect: Expected `str`, found `(dict[str, Any] & ~Top[MutableSequence[Unknown]]) | (str & ~Top[MutableSequence[Unknown]])`

src/schema_salad/python_codegen.py

:490:40

[error] invalid-argument-type - Argument to function `PythonCodeGen.safe_name` is incorrect: Expected `str`, found `(dict[str, Any] & ~Top[MutableSequence[Unknown]]) | (str & ~Top[MutableSequence[Unknown]])`

src/schema_salad/typescript_codegen.py

:444:40

[error] invalid-argument-type - Argument to function `TypeScriptCodeGen.safe_name` is incorrect: Expected `str`, found `(dict[str, Any] & ~Top[MutableSequence[Unknown]]) | (str & ~Top[MutableSequence[Unknown]])`