[ty] Exhaustiveness checking for generic classes by sharkdp · Pull Request #21726 · astral-sh/ruff (original) (raw)

mypy_primer results

Changes were detected when running on open source projects

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

• pylint/checkers/typecheck.py:2177:30: warning[possibly-unresolved-reference] Name msg used when possibly not defined
• pylint/checkers/typecheck.py:2201:30: warning[possibly-unresolved-reference] Name msg used when possibly not defined
• Found 214 diagnostics

• Found 212 diagnostics

scikit-build-core (https://github.com/scikit-build/scikit-build-core)

• src/scikit_build_core/build/_pathutil.py:25:38: error[invalid-argument-type] Argument to function __new__ is incorrect: Expected str | PathLike[str], found DirEntry[Path]
• src/scikit_build_core/build/_pathutil.py:27:24: error[invalid-argument-type] Argument to function __new__ is incorrect: Expected str | PathLike[str], found DirEntry[Path]
• src/scikit_build_core/build/wheel.py:98:20: error[no-matching-overload] No overload of bound method __init__ matches arguments

• Found 41 diagnostics

• Found 44 diagnostics

core (https://github.com/home-assistant/core)

• homeassistant/components/go2rtc/init.py:321:26: warning[possibly-unresolved-reference] Name value used when possibly not defined
• Found 14527 diagnostics

• Found 14526 diagnostics

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

• pydantic/fields.py:943:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None

• pydantic/fields.py:943:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None

• pydantic/fields.py:983:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None

• pydantic/fields.py:983:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None

• pydantic/fields.py:1026:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None

• pydantic/fields.py:1026:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None

• pydantic/fields.py:1066:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None

• pydantic/fields.py:1066:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None

• pydantic/fields.py:1109:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None

• pydantic/fields.py:1109:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None

• pydantic/fields.py:1148:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None

• pydantic/fields.py:1148:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None

• pydantic/fields.py:1188:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None

• pydantic/fields.py:1188:5: error[invalid-parameter-default] Default value of type PydanticUndefinedType is not assignable to annotated parameter type dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None

• pydantic/fields.py:1567:13: error[invalid-argument-type] Argument is incorrect: Expected dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None, found Top[dict[Unknown, Unknown]] | (((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) & ~Top[dict[Unknown, Unknown]]) | None

• pydantic/fields.py:1567:13: error[invalid-argument-type] Argument is incorrect: Expected dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None, found Top[dict[Unknown, Unknown]] | (((dict[str, Divergent], /) -> None) & ~Top[dict[Unknown, Unknown]]) | None

No memory usage changes detected ✅