Diagnostic Diff Report

Ecosystem report

                Old: main (merge base)
                30709998
                →
                New: 27900/merge
                d446cf8b
            

Lint Rule	Removed	Added	Changed
Total	8	24	51
unresolved-attribute	0	0	23
unsound-yield	0	14	0
invalid-return-type	1	4	8
invalid-argument-type	1	0	10
unsupported-operator	0	0	8
unsound-return-statement	3	3	0
no-matching-overload	3	1	0
invalid-assignment	0	2	1
unsound-assignment	0	0	1

Project	Removed	Added	Changed
Total	8	24	51
prefect strict	1	2	26
Expression non-strict	0	16	0
sympy non-strict	0	0	14
jax non-strict	0	1	4
streamlit strict	3	2	0
pandas strict	1	2	0
hydpy non-strict	0	0	2
scikit-learn strict	2	0	0
static-frame non-strict	0	0	2
core strict	0	0	1
discord.py strict	0	0	1
ibis non-strict	1	0	0
pytest-autoprofile non-strict	0	1	0
tornado strict	0	0	1

Expression non-strict (https://github.com/cognitedata/Expression)

README.py

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

tests/test_async_option_builder.py

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `str`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-return-statement - Unsound return statement: `Any` is not a subtype of `int`

tests/test_async_result_builder.py

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `str`

[warning] unsound-yield - Unsound `yield`: `Any` is not a subtype of `int`

[warning] unsound-return-statement - Unsound return statement: `Any` is not a subtype of `int`

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

homeassistant/components/isy994/helpers.py

[error] invalid-argument-type - Argument to constructor `map.__new__` is incorrect: Expected `(object, /) -> object`, found `Overload[(self: LiteralString) -> LiteralString, (self) -> str]`

[error] invalid-argument-type - Argument to constructor `map.__new__` is incorrect: Expected `(object, /) -> str`, found `Overload[(self: LiteralString) -> LiteralString, (self) -> str]`

discord.py strict (https://github.com/Rapptz/discord.py)

discord/app_commands/checks.py

[error] invalid-assignment - Object of type `Coroutine[Any, Any, Cooldown | None] | None | Cooldown` is not assignable to `Cooldown | None`

[error] invalid-assignment - Object of type `Coroutine[Any, Any, Cooldown | None] | Cooldown | None` is not assignable to `Cooldown | None`

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

hydpy/auxs/interptools.py

[warning] unsound-assignment - Unsound assignment: `float | Sequence[float] | ndarray[tuple[int], dtype[float64]] | Any | ndarray[tuple[Any, ...], dtype[float64]]` is not a subtype of `float | Sequence[float] | ndarray[tuple[int], dtype[float64]]`

[warning] unsound-assignment - Unsound assignment: `float | Sequence[float] | ndarray[tuple[int], dtype[float64]] | ndarray[tuple[Any, ...], dtype[float64]] | Any` is not a subtype of `float | Sequence[float] | ndarray[tuple[int], dtype[float64]]`

[error] invalid-argument-type - Argument to constructor `enumerate.__new__` is incorrect: Expected `Iterable[Unknown]`, found `int | (Sequence[float] & ~float*) | (ndarray[tuple[int], dtype[float64]] & ~float*) | (Any & ~float*) | (ndarray[tuple[Any, ...], dtype[float64]] & ~float*)`

[error] invalid-argument-type - Argument to constructor `enumerate.__new__` is incorrect: Expected `Iterable[Unknown]`, found `int | (Sequence[float] & ~float*) | (ndarray[tuple[int], dtype[float64]] & ~float*) | (ndarray[tuple[Any, ...], dtype[float64]] & ~float*) | (Any & ~float*)`

ibis non-strict (https://github.com/ibis-project/ibis)

ibis/expr/datatypes/core.py

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

jax non-strict (https://github.com/google/jax)

jax/_src/checkify.py

[error] invalid-argument-type - Argument to function `safe_map` is incorrect: Expected `(_Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 4 union elements, /) -> tuple[Any, ...] | tuple[int, int, int] | tuple[int] | tuple[int, int]`, found `Overload[(a: _SupportsShape[Never]) -> tuple[Any, ...], [_ShapeT](a: _SupportsShape[_ShapeT]) -> _ShapeT, (a: complex | bytes | str) -> tuple[()], [_PyScalarT](a: list[_PyScalarT] | tuple[_PyScalarT, ...]) -> tuple[int], [_PyScalarT](a: Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]) -> tuple[int, int], [_PyScalarT](a: Sequence[Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]]) -> tuple[int, int, int], (a: memoryview[int] | bytearray) -> tuple[int], (a: _Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 3 union elements) -> tuple[Any, ...]]`

[error] invalid-argument-type - Argument to function `safe_map` is incorrect: Expected `(_SupportsShape[tuple[Any, ...] | tuple[int] | tuple[int, int] | tuple[int, int, int]] | _Buffer | _SupportsArray[dtype[Any]] | ... omitted 4 union elements, /) -> tuple[Any, ...] | tuple[int] | tuple[int, int] | tuple[int, int, int]`, found `Overload[(a: _SupportsShape[Never]) -> tuple[Any, ...], [_ShapeT](a: _SupportsShape[_ShapeT]) -> _ShapeT, (a: complex | bytes | str) -> tuple[()], [_PyScalarT](a: list[_PyScalarT] | tuple[_PyScalarT, ...]) -> tuple[int], [_PyScalarT](a: Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]) -> tuple[int, int], [_PyScalarT](a: Sequence[Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]]) -> tuple[int, int, int], (a: memoryview[int] | bytearray) -> tuple[int], (a: _Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 3 union elements) -> tuple[Any, ...]]`

jax/_src/lax/control_flow/solves.py

[error] invalid-argument-type - Argument to function `safe_map` is incorrect: Expected `(_Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 4 union elements, /) -> tuple[Any, ...] | tuple[int, int, int] | tuple[int] | tuple[int, int]`, found `Overload[(a: _SupportsShape[Never]) -> tuple[Any, ...], [_ShapeT](a: _SupportsShape[_ShapeT]) -> _ShapeT, (a: complex | bytes | str) -> tuple[()], [_PyScalarT](a: list[_PyScalarT] | tuple[_PyScalarT, ...]) -> tuple[int], [_PyScalarT](a: Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]) -> tuple[int, int], [_PyScalarT](a: Sequence[Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]]) -> tuple[int, int, int], (a: memoryview[int] | bytearray) -> tuple[int], (a: _Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 3 union elements) -> tuple[Any, ...]]`

[error] invalid-argument-type - Argument to function `safe_map` is incorrect: Expected `(_SupportsShape[tuple[Any, ...] | tuple[int] | tuple[int, int] | tuple[int, int, int]] | _Buffer | _SupportsArray[dtype[Any]] | ... omitted 4 union elements, /) -> tuple[Any, ...] | tuple[int] | tuple[int, int] | tuple[int, int, int]`, found `Overload[(a: _SupportsShape[Never]) -> tuple[Any, ...], [_ShapeT](a: _SupportsShape[_ShapeT]) -> _ShapeT, (a: complex | bytes | str) -> tuple[()], [_PyScalarT](a: list[_PyScalarT] | tuple[_PyScalarT, ...]) -> tuple[int], [_PyScalarT](a: Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]) -> tuple[int, int], [_PyScalarT](a: Sequence[Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]]) -> tuple[int, int, int], (a: memoryview[int] | bytearray) -> tuple[int], (a: _Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 3 union elements) -> tuple[Any, ...]]`

[error] invalid-argument-type - Argument to function `safe_map` is incorrect: Expected `(_Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 4 union elements, /) -> tuple[Any, ...] | tuple[int, int, int] | tuple[int] | tuple[int, int]`, found `Overload[(a: _SupportsShape[Never]) -> tuple[Any, ...], [_ShapeT](a: _SupportsShape[_ShapeT]) -> _ShapeT, (a: complex | bytes | str) -> tuple[()], [_PyScalarT](a: list[_PyScalarT] | tuple[_PyScalarT, ...]) -> tuple[int], [_PyScalarT](a: Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]) -> tuple[int, int], [_PyScalarT](a: Sequence[Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]]) -> tuple[int, int, int], (a: memoryview[int] | bytearray) -> tuple[int], (a: _Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 3 union elements) -> tuple[Any, ...]]`

[error] invalid-argument-type - Argument to function `safe_map` is incorrect: Expected `(_SupportsShape[tuple[Any, ...] | tuple[int] | tuple[int, int] | tuple[int, int, int]] | _Buffer | _SupportsArray[dtype[Any]] | ... omitted 4 union elements, /) -> tuple[Any, ...] | tuple[int] | tuple[int, int] | tuple[int, int, int]`, found `Overload[(a: _SupportsShape[Never]) -> tuple[Any, ...], [_ShapeT](a: _SupportsShape[_ShapeT]) -> _ShapeT, (a: complex | bytes | str) -> tuple[()], [_PyScalarT](a: list[_PyScalarT] | tuple[_PyScalarT, ...]) -> tuple[int], [_PyScalarT](a: Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]) -> tuple[int, int], [_PyScalarT](a: Sequence[Sequence[list[_PyScalarT] | tuple[_PyScalarT, ...]]]) -> tuple[int, int, int], (a: memoryview[int] | bytearray) -> tuple[int], (a: _Buffer | _SupportsArray[dtype[Any]] | _NestedSequence[_SupportsArray[dtype[Any]]] | ... omitted 3 union elements) -> tuple[Any, ...]]`

jax/_src/lax/convolution.py

[error] invalid-argument-type - Argument to constructor `map.__new__` is incorrect: Expected `(tuple[int | Any, int | Any] | Any | ndarray[tuple[Any, ...], dtype[signedinteger[_64Bit]]], /) -> Unknown`, found `def prep_one_pad(pad_lo_hi: tuple[int | Any, int | Any]) -> Unknown`

[error] invalid-argument-type - Argument to constructor `map.__new__` is incorrect: Expected `(tuple[int | Any, int | Any] | ndarray[tuple[Any, ...], dtype[signedinteger[_64Bit]]] | Any, /) -> Unknown`, found `def prep_one_pad(pad_lo_hi: tuple[int | Any, int | Any]) -> Unknown`

jax/_src/pallas/mosaic/interpret/shared_memory.py

[error] invalid-assignment - Object of type `dataclasses.Field[dict[MemKey@GenericSharedMemory, Allocation] | dict[str, Allocation]]` is not assignable to `dict[MemKey@GenericSharedMemory, Allocation]`

pandas strict (https://github.com/pandas-dev/pandas)

pandas/core/common.py

[error] invalid-argument-type - Argument to `list.__init__` is incorrect: Expected `Iterable[T@maybe_iterable_to_list]`, found `(Iterable[T@maybe_iterable_to_list] & ~Sized) | (T@maybe_iterable_to_list & Iterable[object] & ~Sized)`

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

pandas/core/frame.py

[error] invalid-assignment - Object of type `defaultdict[HashableT2@_from_nested_dict, dict[HashableT@_from_nested_dict, T@_from_nested_dict] | dict[str, T@_from_nested_dict]]` is not assignable to `defaultdict[HashableT2@_from_nested_dict, dict[HashableT@_from_nested_dict, T@_from_nested_dict]]`

prefect strict (https://github.com/PrefectHQ/prefect)

src/integrations/prefect-kubernetes/prefect_kubernetes/jobs.py

[error] invalid-return-type - Return type does not match returned value: expected `dict[str, Any]`, found `CoroutineType[Any, Any, dict[str, Any]] | dict[str, Any]`

[error] invalid-return-type - Return type does not match returned value: expected `dict[str, Any]`, found `Awaitable[CoroutineType[Any, Any, dict[str, Any]] | dict[str, Any]] | dict[str, Any]`

src/prefect/flows.py

[error] invalid-return-type - Return type does not match returned value: expected `UUID`, found `CoroutineType[Any, Any, UUID] | UUID`

[error] invalid-return-type - Return type does not match returned value: expected `UUID`, found `Awaitable[CoroutineType[Any, Any, UUID] | UUID] | UUID`

src/prefect/runner/runner.py

[error] invalid-return-type - Return type does not match returned value: expected `UUID`, found `CoroutineType[Any, Any, UUID] | UUID`

[error] invalid-return-type - Return type does not match returned value: expected `UUID`, found `Awaitable[CoroutineType[Any, Any, UUID] | UUID] | UUID`

[error] invalid-return-type - Return type does not match returned value: expected `UUID`, found `CoroutineType[Any, Any, UUID] | UUID`

[error] invalid-return-type - Return type does not match returned value: expected `UUID`, found `Awaitable[CoroutineType[Any, Any, UUID] | UUID] | UUID`

src/prefect/runtime/deployment.py

[error] unresolved-attribute - Attribute `deployment_id` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `deployment_id` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `deployment_id` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `deployment_id` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parameters` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parameters` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `name` is not defined on `CoroutineType[Any, Any, DeploymentResponse]` in union `CoroutineType[Any, Any, DeploymentResponse] | DeploymentResponse`

[error] unresolved-attribute - Attribute `name` is not defined on `Awaitable[CoroutineType[Any, Any, DeploymentResponse] | DeploymentResponse]` in union `Awaitable[CoroutineType[Any, Any, DeploymentResponse] | DeploymentResponse] | DeploymentResponse`

[error] unresolved-attribute - Attribute `version` is not defined on `CoroutineType[Any, Any, DeploymentResponse]` in union `CoroutineType[Any, Any, DeploymentResponse] | DeploymentResponse`

[error] unresolved-attribute - Attribute `version` is not defined on `Awaitable[CoroutineType[Any, Any, DeploymentResponse] | DeploymentResponse]` in union `Awaitable[CoroutineType[Any, Any, DeploymentResponse] | DeploymentResponse] | DeploymentResponse`

src/prefect/runtime/flow_run.py

[error] unresolved-attribute - Attribute `tags` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `tags` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `run_count` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `run_count` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `name` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `name` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `name` is not defined on `CoroutineType[Any, Any, Flow]` in union `CoroutineType[Any, Any, Flow] | Flow`

[error] unresolved-attribute - Attribute `name` is not defined on `Awaitable[CoroutineType[Any, Any, Flow] | Flow]` in union `Awaitable[CoroutineType[Any, Any, Flow] | Flow] | Flow`

[error] unresolved-attribute - Object of type `CoroutineType[Any, Any, Flow] | Flow` has no attribute `version`

[error] unresolved-attribute - Object of type `Awaitable[CoroutineType[Any, Any, Flow] | Flow] | Flow` has no attribute `version`

[error] unresolved-attribute - Attribute `expected_start_time` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `expected_start_time` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parameters` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parameters` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parent_task_run_id` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parent_task_run_id` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `flow_run_id` is not defined on `CoroutineType[Any, Any, TaskRun]` in union `CoroutineType[Any, Any, TaskRun] | TaskRun`

[error] unresolved-attribute - Attribute `flow_run_id` is not defined on `Awaitable[CoroutineType[Any, Any, TaskRun] | TaskRun]` in union `Awaitable[CoroutineType[Any, Any, TaskRun] | TaskRun] | TaskRun`

[error] unresolved-attribute - Attribute `flow_run_id` is not defined on `CoroutineType[Any, Any, TaskRun]` in union `CoroutineType[Any, Any, TaskRun] | TaskRun`

[error] unresolved-attribute - Attribute `flow_run_id` is not defined on `Awaitable[CoroutineType[Any, Any, TaskRun] | TaskRun]` in union `Awaitable[CoroutineType[Any, Any, TaskRun] | TaskRun] | TaskRun`

[error] unresolved-attribute - Attribute `deployment_id` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | (FlowRun & ~AlwaysFalsy)`

[error] unresolved-attribute - Attribute `deployment_id` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] & ~AlwaysFalsy` in union `(Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] & ~AlwaysFalsy) | (FlowRun & ~AlwaysFalsy)`

[error] unresolved-attribute - Attribute `deployment_id` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | (FlowRun & ~AlwaysFalsy)`

[error] unresolved-attribute - Attribute `deployment_id` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] & ~AlwaysFalsy` in union `(Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] & ~AlwaysFalsy) | (FlowRun & ~AlwaysFalsy)`

[error] unresolved-attribute - Attribute `parent_task_run_id` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parent_task_run_id` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parent_task_run_id` is not defined on `CoroutineType[Any, Any, FlowRun]` in union `CoroutineType[Any, Any, FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `parent_task_run_id` is not defined on `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun]` in union `Awaitable[CoroutineType[Any, Any, FlowRun] | FlowRun] | FlowRun`

[error] unresolved-attribute - Attribute `flow_run_id` is not defined on `CoroutineType[Any, Any, TaskRun]` in union `CoroutineType[Any, Any, TaskRun] | TaskRun`

[error] unresolved-attribute - Attribute `flow_run_id` is not defined on `Awaitable[CoroutineType[Any, Any, TaskRun] | TaskRun]` in union `Awaitable[CoroutineType[Any, Any, TaskRun] | TaskRun] | TaskRun`

src/prefect/tasks.py

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

[error] no-matching-overload - No overload of function `run_task` matches arguments

[warning] unsound-return-statement - Unsound return statement: `Unknown` is not a subtype of `T@__call__ | State[T@__call__] | None`

src/prefect/utilities/asyncutils/init.py

[error] invalid-return-type - Return type does not match returned value: expected `R@run_coro_as_sync | None`, found `CoroutineType[Any, Any, R@run_coro_as_sync | None] | None | R@run_coro_as_sync`

[error] invalid-return-type - Return type does not match returned value: expected `R@run_coro_as_sync | None`, found `CoroutineType[Any, Any, R@run_coro_as_sync | None] | R@run_coro_as_sync | None`

[error] invalid-return-type - Return type does not match returned value: expected `R@run_coro_as_sync | None`, found `CoroutineType[Any, Any, R@run_coro_as_sync | None] | None | R@run_coro_as_sync`

[error] invalid-return-type - Return type does not match returned value: expected `R@run_coro_as_sync | None`, found `CoroutineType[Any, Any, R@run_coro_as_sync | None] | R@run_coro_as_sync | None`

pytest-autoprofile non-strict (https://gitlab.com/TTsangSC/pytest-autoprofile)

src/pytest_autoprofile/_test_utils.py

[error] invalid-return-type - Return type does not match returned value: expected `((((**PS@environment_fixture) -> tuple[Path | Sequence[str] | Sequence[Path], Path | Sequence[str] | Sequence[Path]]) | ((**PS@environment_fixture) -> Generator[tuple[Path | Sequence[str] | Sequence[Path], Path | Sequence[str] | Sequence[Path]], None, None]), /) -> FixtureFunctionDefinition) | FixtureFunctionDefinition`, found `partial[([**PS'return](((**PS'return) -> tuple[Path | Sequence[str] | Sequence[Path], Path | Sequence[str] | Sequence[Path]]) | ((**PS'return) -> Generator[tuple[Path | Sequence[str] | Sequence[Path], Path | Sequence[str] | Sequence[Path]], None, None]), /) -> FixtureFunctionDefinition) | FixtureFunctionDefinition]`

scikit-learn strict (https://github.com/scikit-learn/scikit-learn)

sklearn/gaussian_process/kernels.py

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

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

static-frame non-strict (https://github.com/static-frame/static-frame)

static_frame/core/index.py

[error] invalid-return-type - Return type does not match returned value: expected `Iterator[Hashable | complex | integer[Any] | ... omitted 8 union elements]`, found `reversed[Any | ndarray[tuple[Any, ...], Any]]`

[error] invalid-return-type - Return type does not match returned value: expected `Iterator[Hashable | complex | integer[Any] | ... omitted 8 union elements]`, found `reversed[ndarray[tuple[Any, ...], Any] | Any]`

static_frame/core/series_mapping.py

[error] invalid-return-type - Return type does not match returned value: expected `Iterator[TVValues@SeriesMappingValuesView]`, found `reversed[Any | ndarray[tuple[Any, ...], Any]]`

[error] invalid-return-type - Return type does not match returned value: expected `Iterator[TVValues@SeriesMappingValuesView]`, found `reversed[TVValues@SeriesMappingValuesView | ndarray[tuple[Any, ...], Any] | Any]`

streamlit strict (https://github.com/streamlit/streamlit)

lib/streamlit/elements/widgets/button_group.py

[warning] unsound-return-statement - Unsound return statement: `list[Unknown] | Unknown | None` is not a subtype of `list[V@pills] | V@pills | None`

[error] invalid-return-type - Return type does not match returned value: expected `list[V@pills] | V@pills | None`, found `list[V@pills | list[V@pills] | None] | V@pills | list[V@pills] | None`

[warning] unsound-return-statement - Unsound return statement: `list[Unknown] | Unknown | None` is not a subtype of `list[V@segmented_control] | V@segmented_control | None`

[error] invalid-return-type - Return type does not match returned value: expected `list[V@segmented_control] | V@segmented_control | None`, found `list[V@segmented_control | list[V@segmented_control] | None] | V@segmented_control | list[V@segmented_control] | None`

lib/streamlit/elements/widgets/select_slider.py

[warning] unsound-return-statement - Unsound return statement: `Unknown | tuple[Unknown, Unknown]` is not a subtype of `T@select_slider | tuple[T@select_slider, T@select_slider]`

sympy non-strict (https://github.com/sympy/sympy)

sympy/functions/special/beta_functions.py

[error] invalid-argument-type - Argument to constructor `map.__new__` is incorrect: Expected `(Basic, /) -> Basic`, found `<class 'conjugate'>`

[error] invalid-argument-type - Argument to constructor `map.__new__` is incorrect: Expected `(Basic, /) -> Expr`, found `<class 'conjugate'>`

[error] invalid-argument-type - Argument to constructor `map.__new__` is incorrect: Expected `(Basic, /) -> Basic`, found `<class 'conjugate'>`

[error] invalid-argument-type - Argument to constructor `map.__new__` is incorrect: Expected `(Basic, /) -> Expr`, found `<class 'conjugate'>`

sympy/physics/hydrogen.py

[error] unsupported-operator - Operator `-` is not supported between two objects of type `Basic | int | Unknown`

[error] unsupported-operator - Operator `-` is not supported between two objects of type `Basic | Unknown | int`

[error] unsupported-operator - Operator `/` is not supported between objects of type `Literal[1]` and `Basic | int | Unknown`

[error] unsupported-operator - Operator `/` is not supported between objects of type `Literal[1]` and `Basic | Unknown | int`

[error] unsupported-operator - Operator `*` is not supported between objects of type `Literal[2]` and `Basic | int | Unknown`

[error] unsupported-operator - Operator `*` is not supported between objects of type `Literal[2]` and `Basic | Unknown | int`

[error] unsupported-operator - Operator `*` is not supported between objects of type `Literal[2]` and `Basic | int | Unknown`

[error] unsupported-operator - Operator `*` is not supported between objects of type `Literal[2]` and `Basic | Unknown | int`

[error] unsupported-operator - Operator `+` is not supported between two objects of type `Basic | int | Unknown`

[error] unsupported-operator - Operator `+` is not supported between two objects of type `Basic | Unknown | int`

[error] unsupported-operator - Operator `*` is not supported between objects of type `Literal[2]` and `Basic | int | Unknown`

[error] unsupported-operator - Operator `*` is not supported between objects of type `Literal[2]` and `Basic | Unknown | int`

[error] unresolved-attribute - Attribute `is_integer` is not defined on `int` in union `Basic | int | Unknown`

[error] unresolved-attribute - Attribute `is_integer` is not defined on `int` in union `Basic | Unknown | int`

[error] unsupported-operator - Operator `<` is not supported between objects of type `Basic | int | Unknown` and `Literal[1]`

[error] unsupported-operator - Operator `<` is not supported between objects of type `Basic | Unknown | int` and `Literal[1]`

[error] unresolved-attribute - Attribute `is_integer` is not defined on `int` in union `Basic | int | Unknown`

[error] unresolved-attribute - Attribute `is_integer` is not defined on `int` in union `Basic | Unknown | int`

[error] unsupported-operator - Operator `>` is not supported between two objects of type `Basic | int | Unknown`

[error] unsupported-operator - Operator `>` is not supported between two objects of type `Basic | Unknown | int`

[error] invalid-argument-type - Argument to function `abs` is incorrect: Expected `SupportsAbs[Unknown]`, found `Basic | int | Unknown`

[error] invalid-argument-type - Argument to function `abs` is incorrect: Expected `SupportsAbs[Unknown]`, found `Basic | Unknown | int`

[error] unresolved-attribute - Attribute `is_integer` is not defined on `int` in union `Basic | int | Unknown`

[error] unresolved-attribute - Attribute `is_integer` is not defined on `int` in union `Basic | Unknown | int`

tornado strict (https://github.com/tornadoweb/tornado)

tornado/gen.py

[error] invalid-argument-type - Argument to `Runner.__init__` is incorrect: Expected `None | Awaitable[Unknown] | list[Awaitable[Unknown]] | dict[Any, Awaitable[Unknown]] | Future[Unknown]`, found `_T@next | _VT@next | _T@next`

[error] invalid-argument-type - Argument to `Runner.__init__` is incorrect: Expected `None | Awaitable[Unknown] | list[Awaitable[Unknown]] | dict[Any, Awaitable[Unknown]] | Future[Unknown]`, found `_T@next | _T@next | _VT@next`