fix collections.abc.Callable and typing.Callable

[KotlinIsland]

typing.Callable is not a _SpecialForm, it's an _Alias, and collections.abc.Callable is a class

i am trying to address many issues with Callable that are either 100% special cased, or don't currently work:

from collections.abc import Callable
from typing import _SpecialForm, assert_type

class C(Callable): ...  # expect no error

a: Callable
a.__call__  # expect no error

s: _SpecialForm = Callable  # expect an error
Callable._name  # expect an error

assert_type(Callable, type[Callable])  # expect no error

• motivation: Callable is a class astral-sh/ty#1215

[srittau]

I'm always in favor of bringing our stubs more in line with reality, so in general I'm in favor of the change. But unfortunately at least mypy seems heavily dependent on the current typing – as shown by the mypy primer output. We'd need to ensure that current type checkers will work with the updated stubs, before making this change.

Maybe it's also worth trying both changes (to typing and _collections_abc) in isolation to see if both break the world, or if you could at least do half of this PR.

[KotlinIsland]

We'd need to ensure that current type checkers will work with the updated stubs, before making this change.

this is a circular dependency. how can we ever change anything if the change needs to be compatible with our dependants

i will try them in isolation, i feel that the class with generics isn't going to be so well consumed, although i would be interested in pulling in the maintainers of other type checkers to see if they are welcomming to the change (fyi, i maintain pycharm)

[srittau]

this is a circular dependency. how can we ever change anything if the change needs to be compatible with our dependants

In that case this needs coordination with the dependents, but we won't change this unilaterally.

Just changing typing.Callable looks more promising, indeed, but pyright would obviously needs to be changed as well (although I suspect the change is rather simple).

[AlexWaygood]

this is a circular dependency. how can we ever change anything if the change needs to be compatible with our dependants

That's why I said in astral-sh/ty#1215 (comment):

I think that would be likely to either break existing type checkers, or else have somewhat unexpected effects on their handling of Callable. I'm not sure it's worth the disruption to the ecosystem.

It's not impossible to make a change like this but, as @srittau says, it is nontrivial. You'll first need to get consensus among all the major type checkers that the change is worth making (or at the very least, make sure that they're aware the change is coming, and make sure that they're willing to adapt to the change). Ideally we'd have PRs "ready to go" in the type checkers that need changes before the typeshed change is merged.

[KotlinIsland]

so, any advice on resolving these failing tests? should we summon the maintainer of pyright? (or basedpyright?)

[srittau]

Yes, @erictraut might be able to help.

[erictraut]

This is a pretty disruptive change. Is there a specific problem that it solves? I'm not against making improvements if there's a real benefit to users or type checker authors, but it's not clear to me what those benefits are in this case.

As @AlexWaygood mentioned, if we want to model types.Callable as an _Alias, then I think there needs to be some other symbol that it aliases. It can't alias itself. Presumably, it aliases collections.abc.Callable.

But then how is collections.abc.Callable defined? If it's not defined as a _SpecialForm, then presumably it would be defined as a normal class definition? Defining it in that way will require some hard-coded logic in type checkers because Callable does not follow the normal rules for a normal class.

[KotlinIsland]

Is there a specific problem that it solves

primarily that Callable is actually a type, and has a __call__ attribute, and the flow-on consequences of that

from collections.abc import Callable

def f(t: type[object]): ...

f(Callable)

class C(Callable): ...

a: Callable
a.__call__

will require some hard-coded logic in type checkers because Callable does not follow the normal rules for a normal class.

what exactly are the different rules to a normal class? i'm not aware of any, i would expect:

class Callable[**Parameters, Return](Protocol): # not actually a protocol, but acts like one, same as everything else in collections.abc
    @abstractmethod
    def __call__(self, *args: Parameters.args, **kwargs: Parameters.kwargs) -> Return: ...

how much effort would be involved in un-special casing Callable and just using this new defintion? i'd imagine there would need to be some logic to connect the alias to the definition, but the rest would just be removing of special-casing?

so i see two options:

1. introduce a _Callable[**P, R] into collections.abc, this would be the definition for the alias
2. just fix the problem in full and make the definition as it should be, this would likely require more changes in type checkers than option 1

[erictraut]

I'm still trying to understand if the proposed change is solving an actual problem that users are hitting or if this falls more under the category of "it would be nice if this were more aligned with the runtime"? If it's the latter, then I think we need to consider the impact and cost of the change and weigh it against the benefits.

how much effort would be involved in un-special casing Callable and just using this new defintion?

I can't speak for other type checkers, but for pyright it's not as simple as "un-special casing". Callable does not act like normal classes in a number of respects, so special-casing is still required. Notably, when used as a type form, it accepts a list expression for its first type argument. It also accepts ... (which has a special meaning) and the Concatenate special form. I'd need to investigate further to enumerate all of the special casing.

[KotlinIsland]

I'm still trying to understand if the proposed change is solving an actual problem that users are hitting

i have run into these issues when trying to write code

additionally, it is very confusing to see that the definition of Callable is Callable: _SpecialForm

Notably, when used as a type form, it accepts a list expression for its first type argument. It also accepts ... (which has a special meaning) and the Concatenate special form.

i don't think there is anything special about these semantics at all:

Code sample in basedpyright playground

from collections.abc import Callable
from typing import Concatenate

class CustomCa[**P, R]: ...

_ = Callable[..., int]
_ = CustomCa[..., int]

def f[**P](
    a: Callable[[Concatenate[int, P]], None],
    b: CustomCa[[Concatenate[int, P]], None],
): ...

the only special casing that i am aware of is the assumption that Callable has a definition of __get__ that is the same as FunctionType.__get__

[KotlinIsland]

@rchen152 @DetachHead @carljm @stroxler @KotlinIsland

hi all, i'm looking for feedback on this change regarding fixing the definition of Callable

i'm not sure who the maintainer of pyright is

[carljm]

I think ty could fairly easily adapt to any change here without changing our behavior, since currently our treatment of Callable is entirely special-cased; we'd just need a small adjustment to make sure we recognize the new definition. But for that same reason, any change here wouldn't automatically grant ty any new understanding of the runtime behavior of Callable; we'd have to manually implement all such understanding.

I think it is true that since the introduction of ParamSpec, much of the core of what used to need special-casing for Callable is no longer as special as it used to be. But I suspect replacing Callable with a runtime-checkable callable protocol type would still be difficult in practice, because there is still special handling that type checkers apply to Callable that they don't apply to a callable protocol, e.g. implicitly assuming function-like __get__ in some scenarios, and some type checkers also assume function attributes like __name__.

Mostly I think this still needs stronger motivation, since I've never heard this request before. What kinds of code specifically has trouble here? Are those needs best served by PEP 747 (TypeForm)?

[JelleZijlstra]

Stubs for core constructs like Callable are always a bit special and it's hard to argue what's objectively the best way to represent them.

The PR description has some examples of code that should work but currently doesn't, which is good. However, does this PR actually fix those cases in any type checker? If so, it would be good to add test cases for them so we can be sure to preserve those behaviors. It might also be that these issues are better fixed in individual type checkers.

[KotlinIsland]

does this PR actually fix those cases in any type checker?

i would presume not, until the checkers are updated to accommodate the change

[KotlinIsland]

What kinds of code specifically has trouble here? Are those needs best served by PEP 747 (TypeForm)?

it's more the opposite, when using Callable as a type

[JelleZijlstra]

i would presume not, until the checkers are updated to accommodate the change

It's not really clear to me why you'd expect this change to help.

[carljm]

ty already supports synthesizing an accurate __call__ attribute on all callable types; I suspect this should not be too hard for any type checker. It looks like pyright and pyrefly currently give it a permissive gradual type, while mypy/zuban consider it not to exist.

I'm still not clear on the practical utility of assigning the object typing.Callable to type[object], but that seems similarly easy to implement; it certainly wouldn't be hard for ty.

Similar for supporting inheriting Callable. Unless the runtime implementation were changed to be an actual Protocol, I think this is likely best handled via special casing in type checkers.

On the whole it seems to me that updating typeshed is more likely a distraction / additional churn than it is a useful step towards specifying and implementing the specific desired behaviors in type checkers.

[KotlinIsland]

It's not really clear to me why you'd expect this change to help.

if we take this change, then the amount of special casing around Callable would be reduced, currently a type checker needs to special case Callable to understand that it is actually a class, and not an instance of _SpecialForm

if we make it an actual class (and the type checkers adjust their special casing to accommodate), then the examples in the OP would be resolved

so if we want the fixes, we have two choices: implement a lot more special casing than we already have, or reduce and adjust the existing special casing to suite this change

[carljm]

if we take this change, then the amount of special casing around Callable would be reduced

This is certainly not true for the current change in this PR. In theory it could maybe be true if we defined Callable as a runtime-checkable callable protocol generic over a paramspec, but I don't think we should do that in typeshed unless we also do it in runtime typing.py, and this becomes an extremely disruptive change that still doesn't fully eliminate the need for special-casing, and practically offers limited benefits. Any change short of that (e.g. representing Callable in typeshed as a class more similar to the runtime class) would likely not reduce special-casing in ty at all; it would be more complicated to try to partially special-case and partially pass-through to the typeshed definition than it would be to continue fully special-casing.

I think if your goal is to achieve certain behaviors in type checkers, by far the most likely way to achieve that is by implementing the desired behavior in each type checker.

[KotlinIsland]

but I don't think we should [define Callable as a runtime-checkable callable protocol generic over a paramspec] in typeshed unless we also do it in runtime typing.py

in runtime typing.py it is an _Alias to collections.abc.Callable. i don't think i understand the issue you are describing

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

packaging (https://github.com/pypa/packaging)
+ src/packaging/_musllinux.py:67: error: Need type annotation for "sys_musl"  [var-annotated]
+ src/packaging/_manylinux.py:183: error: Need type annotation for "sys_glibc"  [var-annotated]
+ src/packaging/specifiers.py:885: error: Need type annotation for "_specs"  [var-annotated]
+ src/packaging/metadata.py:648: error: Need type annotation for "dynamic_field"  [var-annotated]

manticore (https://github.com/trailofbits/manticore)
+ tests/auto_generators/make_dump.py:228: error: Need type annotation for "groups"  [var-annotated]
+ manticore/utils/log.py:43: error: Need type annotation for "colors"  [var-annotated]
+ manticore/platforms/linux_syscall_stubs.py:1177: error: Need type annotation for "x"  [var-annotated]
+ manticore/utils/helpers.py:40: error: Need type annotation for "c"  [var-annotated]
+ manticore/core/smtlib/solver.py:297: error: Need type annotation for "lparen"  [var-annotated]
+ manticore/core/smtlib/solver.py:297: error: Need type annotation for "rparen"  [var-annotated]
+ manticore/native/cpu/abstractcpu.py:366: error: Need type annotation for "argument_iter"  [var-annotated]
+ manticore/platforms/linux.py:3731: error: Need type annotation for "obj"  [var-annotated]

pandera (https://github.com/pandera-dev/pandera)
+ pandera/utils.py:9: error: Type variable "pandera.utils.F" is unbound  [valid-type]
+ pandera/utils.py:9: note: (Hint: Use "Generic[F]" or "Protocol[F]" base class to bind "F" inside a class)
+ pandera/utils.py:9: note: (Hint: Use "F" in function signature to bind "F" inside a function)
+ pandera/inspection_utils.py:27: error: "_collections_abc.Callable[Any, Any]" has no attribute "__name__"  [attr-defined]
+ pandera/api/base/checks.py:96: error: "_collections_abc.Callable[Any, Any]" has no attribute "__name__"  [attr-defined]
+ pandera/api/base/checks.py:97: error: "_collections_abc.Callable[Any, Any]" has no attribute "__name__"  [attr-defined]
+ pandera/api/base/checks.py:100: error: "_collections_abc.Callable[Any, Any]" has no attribute "__name__"  [attr-defined]
- pandera/typing/common.py:236: error: Argument 1 to "signature" has incompatible type "Any | None"; expected "Callable[..., Any]"  [arg-type]
+ pandera/typing/common.py:236: error: Argument 1 to "signature" has incompatible type "Any | None"; expected "_collections_abc.Callable[[VarArg(Any), KwArg(Any)], Any]"  [arg-type]
+ pandera/typing/common.py:236: note: "_collections_abc.Callable[[VarArg(Any), KwArg(Any)], Any].__call__" has type "def __call__(self, *Any, **Any) -> Any"
- pandera/backends/pandas/checks.py:308: error: Cannot infer type of lambda  [misc]
+ pandera/api/extensions.py:256: error: "_collections_abc.Callable[Any, Any]" has no attribute "__name__"  [attr-defined]
+ pandera/api/extensions.py:258: error: "_collections_abc.Callable[Any, Any]" has no attribute "__name__"  [attr-defined]
+ pandera/api/extensions.py:317: error: "_collections_abc.Callable[Any, Any]" has no attribute "__name__"  [attr-defined]
- pandera/strategies/pandas_strategies.py:67: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Callable[[Series[Any]], Series[builtins.bool]] | Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[True], axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> None
+ pandera/strategies/pandas_strategies.py:67: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | _collections_abc.Callable[[Series[Any]], Series[builtins.bool]] | _collections_abc.Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[True], axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> None
- pandera/strategies/pandas_strategies.py:67: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Callable[[Series[Any]], Series[builtins.bool]] | Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[False] = ..., axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> Series[Any]
+ pandera/strategies/pandas_strategies.py:67: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | _collections_abc.Callable[[Series[Any]], Series[builtins.bool]] | _collections_abc.Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[False] = ..., axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> Series[Any]
- pandera/strategies/pandas_strategies.py:69: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Callable[[Series[Any]], Series[builtins.bool]] | Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[True], axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> None
+ pandera/strategies/pandas_strategies.py:69: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | _collections_abc.Callable[[Series[Any]], Series[builtins.bool]] | _collections_abc.Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[True], axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> None
- pandera/strategies/pandas_strategies.py:69: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Callable[[Series[Any]], Series[builtins.bool]] | Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[False] = ..., axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> Series[Any]
+ pandera/strategies/pandas_strategies.py:69: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | _collections_abc.Callable[[Series[Any]], Series[builtins.bool]] | _collections_abc.Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[False] = ..., axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> Series[Any]
- pandera/strategies/pandas_strategies.py:70: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Callable[[Series[Any]], Series[builtins.bool]] | Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[True], axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> None
+ pandera/strategies/pandas_strategies.py:70: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | _collections_abc.Callable[[Series[Any]], Series[builtins.bool]] | _collections_abc.Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[True], axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> None
- pandera/strategies/pandas_strategies.py:70: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Callable[[Series[Any]], Series[builtins.bool]] | Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[False] = ..., axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> Series[Any]
+ pandera/strategies/pandas_strategies.py:70: note:     def mask(self, cond: Series[Any] | Series[builtins.bool] | ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | _collections_abc.Callable[[Series[Any]], Series[builtins.bool]] | _collections_abc.Callable[[Any], builtins.bool], other: str | bytes | date | datetime | timedelta | <15 more items> | None = ..., *, inplace: Literal[False] = ..., axis: Literal['index', 0] | None = ..., level: Hashable | None = ...) -> Series[Any]
- pandera/api/dataframe/model.py:246: error: Redundant cast to "DataFrameBase[Self]"  [redundant-cast]
+ pandera/api/dataframe/model.py:243: error: Unsupported decorated constructor type  [misc]
+ pandera/api/dataframe/model.py:246: error: F? not callable  [misc]
+ pandera/api/dataframe/model.py:444: error: "type" has no attribute "Config"  [attr-defined]
+ pandera/decorators.py:137: error: "_collections_abc.Callable[Any, Any]" has no attribute "__name__"  [attr-defined]
+ pandera/decorators.py:161: error: Type variable "pandera.decorators.F" is unbound  [valid-type]
+ pandera/decorators.py:161: note: (Hint: Use "Generic[F]" or "Protocol[F]" base class to bind "F" inside a class)
+ pandera/decorators.py:161: note: (Hint: Use "F" in function signature to bind "F" inside a function)
+ pandera/decorators.py:301: error: Type variable "pandera.decorators.F" is unbound  [valid-type]
+ pandera/decorators.py:301: note: (Hint: Use "Generic[F]" or "Protocol[F]" base class to bind "F" inside a class)
+ pandera/decorators.py:301: note: (Hint: Use "F" in function signature to bind "F" inside a function)
+ pandera/decorators.py:444: error: Type variable "pandera.decorators.F" is unbound  [valid-type]
+ pandera/decorators.py:444: note: (Hint: Use "Generic[F]" or "Protocol[F]" base class to bind "F" inside a class)
+ pandera/decorators.py:444: note: (Hint: Use "F" in function signature to bind "F" inside a function)
+ pandera/decorators.py:548: error: Type variable "pandera.decorators.F" is unbound  [valid-type]
+ pandera/decorators.py:548: note: (Hint: Use "Generic[F]" or "Protocol[F]" base class to bind "F" inside a class)
+ pandera/decorators.py:548: note: (Hint: Use "F" in function signature to bind "F" inside a function)
- tests/mypy/pandas_modules/pandas_dataframe.py:35: note:     def [P`10200, T] pipe(self, func: Callable[[DataFrame[Schema], **P], T], *args: P.args, **kwargs: P.kwargs) -> T
+ tests/mypy/pandas_modules/pandas_dataframe.py:35: note:     def [P`10059, T] pipe(self, func: _collections_abc.Callable[[DataFrame[Schema], **P], T], *args: P.args, **kwargs: P.kwargs) -> T
- tests/mypy/pandas_modules/pandas_dataframe.py:35: note:     def [T] pipe(self, func: tuple[Callable[..., T], str], *args: Any, **kwargs: Any) -> T
+ tests/mypy/pandas_modules/pandas_dataframe.py:35: note:     def [T] pipe(self, func: tuple[_collections_abc.Callable[[VarArg(Any), KwArg(Any)], T], str], *args: Any, **kwargs: Any) -> T
+ tests/strategies/test_strategies.py:993: error: Unused "type: ignore" comment  [unused-ignore]
- tests/pandas/test_model.py:47: error: Self argument missing for a non-static method (or an invalid type for self)  [misc]
- tests/pandas/test_model.py:52: error: Self argument missing for a non-static method (or an invalid type for self)  [misc]
+ tests/pandas/test_decorators.py:124: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:128: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:132: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:135: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:139: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:146: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:150: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:169: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:175: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:181: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:192: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:268: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:324: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:327: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:331: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:337: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:340: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:343: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:445: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/pandas/test_decorators.py:458: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/pandas/test_decorators.py:469: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:492: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:524: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:833: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:1410: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/pandas/test_decorators.py:1410: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:1410: note: Error code "misc" not covered by "type: ignore" comment
+ tests/pandas/test_decorators.py:1411: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:1412: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/pandas/test_decorators.py:1412: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:1412: note: Error code "misc" not covered by "type: ignore" comment
+ tests/pandas/test_decorators.py:1633: error: F? not callable  [misc]
+ tests/pandas/test_decorators.py:1637: error: F? not callable  [misc]
- tests/dask/test_dask.py:31: error: "Series[Any]" not callable  [operator]
- tests/dask/test_dask.py:31: note: Error code "operator" not covered by "type: ignore" comment
- tests/dask/test_dask.py:36: error: "Series[Any]" not callable  [operator]
- tests/dask/test_dask.py:36: note: Error code "operator" not covered by "type: ignore" comment
- tests/dask/test_dask.py:41: error: "Series[Any]" not callable  [operator]
- tests/dask/test_dask.py:41: note: Error code "operator" not covered by "type: ignore" comment
+ pandera/api/polars/model.py:140: error: F? not callable  [misc]

mypy (https://github.com/python/mypy)
+ mypy/scope.py:122: error: Missing positional argument "prefix" in call to "__call__" of "Callable"  [call-arg]
+ mypy/scope.py:122: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-call-arg for more info
+ mypy/scope.py:122: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "Scope"  [arg-type]
+ mypy/scope.py:123: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/scope.py:123: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/scope.py:124: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/scope.py:124: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncBase"; expected "Scope"  [arg-type]
+ mypy/server/aststrip.py:144: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/aststrip.py:144: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "NodeStripVisitor"  [arg-type]
+ mypy/server/aststrip.py:171: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/aststrip.py:171: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "NodeStripVisitor"  [arg-type]
+ mypy/renaming.py:100: error: Missing positional argument "kind" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:100: error: Argument 1 to "__call__" of "Callable" has incompatible type "int"; expected "VariableRenameVisitor"  [arg-type]
+ mypy/renaming.py:100: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:109: error: Missing positional argument "kind" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:109: error: Argument 1 to "__call__" of "Callable" has incompatible type "int"; expected "VariableRenameVisitor"  [arg-type]
+ mypy/renaming.py:109: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:123: error: Missing positional argument "kind" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:123: error: Argument 1 to "__call__" of "Callable" has incompatible type "int"; expected "VariableRenameVisitor"  [arg-type]
+ mypy/renaming.py:127: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:131: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:139: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:154: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:158: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:201: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:474: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:480: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/renaming.py:487: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/errors.py:519: error: Argument 1 to "defaultdict" has incompatible type "Callable[[], defaultdict[Never, list[Never]]]"; expected "_collections_abc.Callable[[], dict[int, list[str]]] | None"  [arg-type]
+ mypy/modulefinder.py:40: error: Cannot infer value of type parameter "_T1" of "map"  [misc]
+ mypy/modulefinder.py:42: error: Cannot infer value of type parameter "_T1" of "map"  [misc]
+ mypy/modulefinder.py:44: error: Cannot infer value of type parameter "_T1" of "map"  [misc]
+ mypy/modulefinder.py:46: error: Cannot infer value of type parameter "_T1" of "map"  [misc]
+ mypy/solve.py:375: error: Returning Any from function declared to return "TypeVarLikeType | None"  [no-any-return]
+ mypy/checkmember.py:288: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checkmember.py:499: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/deps.py:202: error: Missing positional argument "prefix" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/deps.py:202: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "Scope"  [arg-type]
+ mypy/server/deps.py:213: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/deps.py:213: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/server/deps.py:249: error: Missing positional argument "prefix" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/deps.py:249: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "Scope"  [arg-type]
+ mypy/server/deps.py:257: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/deps.py:257: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncDef"; expected "Scope"  [arg-type]
+ mypy/server/deps.py:305: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/deps.py:305: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/server/deps.py:319: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/deps.py:319: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/semanal_typeargs.py:67: error: Missing positional argument "prefix" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_typeargs.py:67: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "Scope"  [arg-type]
+ mypy/semanal_typeargs.py:73: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_typeargs.py:73: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncItem"; expected "Scope"  [arg-type]
+ mypy/semanal_typeargs.py:77: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_typeargs.py:77: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/typeanal.py:1141: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/typeanal.py:1594: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/typeanal.py:2123: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/typeanal.py:2123: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/typeanal.py:2317: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/typeanal.py:2317: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/server/astdiff.py:490: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/server/astdiff.py:490: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/stats.py:146: error: Missing positional argument "o" in call to "__call__" of "Callable"  [call-arg]
+ mypy/stats.py:146: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncDef"; expected "StatisticsVisitor"  [arg-type]
+ mypy/semanal_typeddict.py:212: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_typeddict.py:212: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/plugins/attrs.py:329: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/plugins/attrs.py:329: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/plugins/dataclasses.py:167: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/plugins/dataclasses.py:167: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/plugins/dataclasses.py:203: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/plugins/dataclasses.py:203: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/plugins/dataclasses.py:706: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/plugins/dataclasses.py:706: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/semanal.py:700: error: Argument 1 to "__call__" of "Callable" has incompatible type "MypyFile"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:700: error: Argument 2 to "__call__" of "Callable" has incompatible type "Options"; expected "MypyFile"  [arg-type]
+ mypy/semanal.py:700: error: Argument 3 to "__call__" of "Callable" has incompatible type "TypeInfo | None"; expected "Options"  [arg-type]
+ mypy/semanal.py:920: error: Missing positional argument "prefix" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:920: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "Scope"  [arg-type]
+ mypy/semanal.py:987: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:987: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncDef"; expected "Scope"  [arg-type]
+ mypy/semanal.py:988: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1023: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1023: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:1227: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1227: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:1282: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1282: error: Argument 1 to "__call__" of "Callable" has incompatible type "OverloadedFuncDef"; expected "Scope"  [arg-type]
+ mypy/semanal.py:1305: error: Missing positional argument "item" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1305: error: Argument 1 to "__call__" of "Callable" has incompatible type "int"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:1443: error: Missing positional argument "item" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1443: error: Argument 1 to "__call__" of "Callable" has incompatible type "int | None"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:1662: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1662: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:1671: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1671: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:1681: error: Missing positional argument "function" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1681: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncItem"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:1837: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:1837: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:2042: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:2042: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/semanal.py:2155: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:2155: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/semanal.py:2159: error: Missing positional argument "named_tuple_info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:2159: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "NamedTupleAnalyzer"  [arg-type]
+ mypy/semanal.py:3301: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:3306: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:3321: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:3615: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:3615: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:3652: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:3652: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:4007: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:4007: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:4011: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:5491: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:5516: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:5554: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:5554: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:6038: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:6380: error: Missing positional argument "function" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:6380: error: Argument 1 to "__call__" of "Callable" has incompatible type "DictionaryComprehension"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:6387: error: Missing positional argument "function" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:6387: error: Argument 1 to "__call__" of "Callable" has incompatible type "GeneratorExpr"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:6418: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:6418: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:7715: error: Missing positional argument "frame" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:7715: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeVarLikeScope"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal.py:7715: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal.py:8088: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checkexpr.py:3063: error: Missing positional argument "overrides" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checkexpr.py:3063: error: Argument 1 to "__call__" of "Callable" has incompatible type "list[Expression]"; expected "ExpressionChecker"  [arg-type]
+ mypy/checkexpr.py:3063: error: Argument 2 to "__call__" of "Callable" has incompatible type "list[Type]"; expected "Sequence[Expression]"  [arg-type]
+ mypy/checkexpr.py:3081: error: Missing positional argument "overrides" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checkexpr.py:3081: error: Argument 1 to "__call__" of "Callable" has incompatible type "list[Expression]"; expected "ExpressionChecker"  [arg-type]
+ mypy/checkexpr.py:3081: error: Argument 2 to "__call__" of "Callable" has incompatible type "list[Type]"; expected "Sequence[Expression]"  [arg-type]
+ mypy/checkexpr.py:3325: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checkexpr.py:3938: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checkexpr.py:5489: error: Missing positional argument "item" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checkexpr.py:5489: error: Argument 1 to "__call__" of "Callable" has incompatible type "LambdaExpr"; expected "CheckerScope"  [arg-type]
+ mypy/checkexpr.py:5506: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checkexpr.py:5506: error: Argument 1 to "__call__" of "Callable" has incompatible type "LambdaExpr"; expected "Scope"  [arg-type]
+ mypy/checker.py:528: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:528: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/checker.py:528: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeChecker"; expected "TypeCheckerState"  [arg-type]
+ mypy/checker.py:532: error: Missing positional argument "prefix" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:532: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "Scope"  [arg-type]
+ mypy/checker.py:533: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:573: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:573: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/checker.py:573: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeChecker"; expected "TypeCheckerState"  [arg-type]
+ mypy/checker.py:579: error: Missing positional argument "prefix" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:579: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "Scope"  [arg-type]
+ mypy/checker.py:596: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:596: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/checker.py:597: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:597: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "CheckerScope"  [arg-type]
+ mypy/checker.py:607: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:613: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:614: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:740: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:740: error: Argument 1 to "__call__" of "Callable" has incompatible type "OverloadedFuncDef"; expected "Scope"  [arg-type]
+ mypy/checker.py:740: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:799: error: Missing positional argument "impl" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:799: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncDef | Decorator"; expected "TypeChecker"  [arg-type]
+ mypy/checker.py:962: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:962: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/checker.py:1216: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1216: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncDef"; expected "Scope"  [arg-type]
+ mypy/checker.py:1216: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1247: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1252: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1329: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1359: error: Missing positional argument "item" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1359: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncItem"; expected "CheckerScope"  [arg-type]
+ mypy/checker.py:1408: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1435: error: Missing positional argument "item" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1435: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncItem"; expected "CheckerScope"  [arg-type]
+ mypy/checker.py:1636: error: Missing positional argument "item" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:1636: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncDef"; expected "CheckerScope"  [arg-type]
+ mypy/checker.py:2700: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:2700: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Scope"  [arg-type]
+ mypy/checker.py:2701: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:2702: error: Missing positional argument "type" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:2702: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "TypeChecker"  [arg-type]
+ mypy/checker.py:2706: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:2707: error: Missing positional argument "info" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:2707: error: Argument 1 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "CheckerScope"  [arg-type]
+ mypy/checker.py:3233: error: Missing positional argument "is_final_def" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:3233: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "TypeChecker"  [arg-type]
+ mypy/checker.py:3261: error: Missing positional argument "is_final_def" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:3261: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "TypeChecker"  [arg-type]
+ mypy/checker.py:4188: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:5624: error: Missing positional argument "fdef" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:5624: error: Argument 1 to "__call__" of "Callable" has incompatible type "FuncDef"; expected "Scope"  [arg-type]
+ mypy/checker.py:5624: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/checker.py:7547: error: Signature of "checking_await_set" incompatible with supertype "TypeCheckerSharedApi"  [override]
+ mypy/checker.py:7547: note:      Superclass:
+ mypy/checker.py:7547: note:          _collections_abc.Callable[[TypeCheckerSharedApi], _GeneratorContextManager[None, None, None]]
+ mypy/checker.py:7547: note:      Subclass:
+ mypy/checker.py:7547: note:          _collections_abc.Callable[[TypeChecker], _GeneratorContextManager[None, None, None]]
+ mypy/checker.py:7561: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/lower/registry.py:17: error: Type variable "mypyc.lower.registry.LF" is unbound  [valid-type]
+ mypyc/lower/registry.py:17: note: (Hint: Use "Generic[LF]" or "Protocol[LF]" base class to bind "LF" inside a class)
+ mypyc/lower/registry.py:17: note: (Hint: Use "LF" in function signature to bind "LF" inside a function)
+ mypyc/lower/list_ops.py:55: error: LF? not callable  [misc]
+ mypy/semanal_main.py:218: error: Missing positional argument "options" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_main.py:218: error: Argument 1 to "__call__" of "Callable" has incompatible type "MypyFile"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal_main.py:218: error: Argument 2 to "__call__" of "Callable" has incompatible type "Options"; expected "MypyFile"  [arg-type]
+ mypy/semanal_main.py:335: error: Missing positional argument "options" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_main.py:335: error: Argument 1 to "__call__" of "Callable" has incompatible type "MypyFile"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal_main.py:335: error: Argument 2 to "__call__" of "Callable" has incompatible type "Options"; expected "MypyFile"  [arg-type]
+ mypy/semanal_main.py:402: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_main.py:439: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_main.py:440: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_main.py:440: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/semanal_main.py:459: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_main.py:460: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_main.py:460: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/semanal_main.py:466: error: Missing positional argument "saved" in call to "__call__" of "Callable"  [call-arg]
+ mypy/semanal_main.py:466: error: Argument 1 to "__call__" of "Callable" has incompatible type "tuple[str, TypeInfo | None, FuncDef | OverloadedFuncDef | None]"; expected "Scope"  [arg-type]
+ mypy/semanal_main.py:518: error: Argument 1 to "__call__" of "Callable" has incompatible type "MypyFile"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal_main.py:518: error: Argument 2 to "__call__" of "Callable" has incompatible type "Options"; expected "MypyFile"  [arg-type]
+ mypy/semanal_main.py:518: error: Argument 3 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Options"  [arg-type]
+ mypy/semanal_main.py:537: error: Argument 1 to "__call__" of "Callable" has incompatible type "MypyFile"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal_main.py:537: error: Argument 2 to "__call__" of "Callable" has incompatible type "Options"; expected "MypyFile"  [arg-type]
+ mypy/semanal_main.py:537: error: Argument 3 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Options"  [arg-type]
+ mypy/semanal_main.py:554: error: Argument 1 to "__call__" of "Callable" has incompatible type "MypyFile"; expected "SemanticAnalyzer"  [arg-type]
+ mypy/semanal_main.py:554: error: Argument 2 to "__call__" of "Callable" has incompatible type "Options"; expected "MypyFile"  [arg-type]
+ mypy/semanal_main.py:554: error: Argument 3 to "__call__" of "Callable" has incompatible type "TypeInfo"; expected "Options"  [arg-type]
+ mypy/build.py:2770: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/build.py:2879: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/build.py:2958: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/build.py:2987: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/build.py:3017: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/stubtest.py:1018: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/stubtest.py:1018: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/stubtest.py:1982: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/stubtest.py:1982: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/server/update.py:1358: error: Need type annotation for "result" (hint: "result: list[<type>] = ...")  [var-annotated]
+ mypy/server/update.py:1358: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-var-annotated for more info
+ mypy/suggestions.py:278: error: Missing positional argument "module" in call to "__call__" of "Callable"  [call-arg]
+ mypy/suggestions.py:278: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "SuggestionEngine"  [arg-type]
+ mypy/suggestions.py:279: error: Missing positional argument "self" in call to "__call__" of "Callable"  [call-arg]
+ mypy/suggestions.py:290: error: Missing positional argument "module" in call to "__call__" of "Callable"  [call-arg]
+ mypy/suggestions.py:290: error: Argument 1 to "__call__" of "Callable" has incompatible type "str"; expected "SuggestionEngine"  [arg-type]
+ mypy/suggestions.py:492: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/suggestions.py:492: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/suggestions.py:507: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/suggestions.py:507: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/suggestions.py:1036: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/suggestions.py:1036: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypyc/irbuild/match.py:165: error: Missing positional argument "subject" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/match.py:165: error: Argument 1 to "__call__" of "Callable" has incompatible type "Value"; expected "MatchVisitor"  [arg-type]
+ mypyc/irbuild/match.py:175: error: Missing positional argument "subject" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/match.py:175: error: Argument 1 to "__call__" of "Callable" has incompatible type "Value"; expected "MatchVisitor"  [arg-type]
+ mypyc/irbuild/match.py:228: error: Missing positional argument "subject" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/match.py:228: error: Argument 1 to "__call__" of "Callable" has incompatible type "Value"; expected "MatchVisitor"  [arg-type]
+ mypyc/irbuild/match.py:282: error: Missing positional argument "subject" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/match.py:282: error: Argument 1 to "__call__" of "Callable" has incompatible type "Value"; expected "MatchVisitor"  [arg-type]
+ mypyc/irbuild/callable_class.py:122: error: Missing positional argument "ret_type" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/callable_class.py:122: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/callable_class.py:122: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/callable_class.py:122: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/callable_class.py:128: error: Missing positional argument "ret_type" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/callable_class.py:129: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/callable_class.py:129: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/callable_class.py:129: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/callable_class.py:176: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/callable_class.py:177: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/callable_class.py:178: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/callable_class.py:179: error: Argument 4 to "__call__" of "Callable" has incompatible type "FuncInfo"; expected "RType"  [arg-type]
+ mypyc/irbuild/generator.py:253: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/generator.py:253: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/generator.py:253: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/generator.py:253: error: Argument 4 to "__call__" of "Callable" has incompatible type "FuncInfo"; expected "RType"  [arg-type]
+ mypyc/irbuild/generator.py:259: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/generator.py:259: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/generator.py:259: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/generator.py:259: error: Argument 4 to "__call__" of "Callable" has incompatible type "FuncInfo"; expected "RType"  [arg-type]
+ mypyc/irbuild/generator.py:281: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/generator.py:281: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/generator.py:281: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/generator.py:281: error: Argument 4 to "__call__" of "Callable" has incompatible type "FuncInfo"; expected "RType"  [arg-type]
+ mypyc/irbuild/generator.py:304: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/generator.py:304: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/generator.py:304: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/generator.py:304: error: Argument 4 to "__call__" of "Callable" has incompatible type "FuncInfo"; expected "RType"  [arg-type]
+ mypyc/irbuild/generator.py:336: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/generator.py:336: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/generator.py:336: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/generator.py:336: error: Argument 4 to "__call__" of "Callable" has incompatible type "FuncInfo"; expected "RType"  [arg-type]
+ mypyc/irbuild/generator.py:391: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/generator.py:391: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/generator.py:391: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/generator.py:391: error: Argument 4 to "__call__" of "Callable" has incompatible type "FuncInfo"; expected "RType"  [arg-type]
+ mypyc/irbuild/function.py:407: error: Missing positional argument "ret_type" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/function.py:407: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/function.py:407: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/function.py:407: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/function.py:451: error: Missing positional argument "ret_type" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/function.py:451: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/function.py:451: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/function.py:451: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/function.py:1047: error: Missing positional argument "ret_type" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/function.py:1047: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/function.py:1047: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/function.py:1047: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/function.py:1060: error: Missing positional argument "ret_type" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/function.py:1060: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/function.py:1060: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/function.py:1060: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/classdef.py:777: error: Missing positional argument "ret_type" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/classdef.py:777: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/classdef.py:777: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/classdef.py:777: error: Argument 3 to "__call__" of "Callable" has incompatible type "RPrimitive"; expected "str"  [arg-type]
+ mypyc/irbuild/classdef.py:827: error: Missing positional argument "ret_type" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/classdef.py:827: error: Argument 1 to "__call__" of "Callable" has incompatible type "ClassIR"; expected "IRBuilder"  [arg-type]
+ mypyc/irbuild/classdef.py:827: error: Argument 2 to "__call__" of "Callable" has incompatible type "str"; expected "ClassIR"  [arg-type]
+ mypyc/irbuild/classdef.py:827: error: Argument 3 to "__call__" of "Callable" has incompatible type "RType"; expected "str"  [arg-type]
+ mypy/test/testtypes.py:516: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:516: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:521: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:521: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:524: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:524: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:543: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:543: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:754: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:754: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:787: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:787: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:826: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:826: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:828: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:828: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:1182: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:1182: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:1193: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:1193: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:1327: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:1327: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypy/test/testtypes.py:1329: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypy/test/testtypes.py:1329: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
- mypy/test/testpep561.py:133: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-var-annotated for more info
+ mypyc/irbuild/main.py:54: error: Type variable "mypyc.irbuild.main.F" is unbound  [valid-type]
+ mypyc/irbuild/main.py:54: note: (Hint: Use "Generic[F]" or "Protocol[F]" base class to bind "F" inside a class)
+ mypyc/irbuild/main.py:54: note: (Hint: Use "F" in function signature to bind "F" inside a function)
+ mypyc/irbuild/main.py:54: error: Missing positional argument "value" in call to "__call__" of "Callable"  [call-arg]
+ mypyc/irbuild/main.py:54: error: Argument 1 to "__call__" of "Callable" has incompatible type "bool"; expected "StrictOptionalState"  [arg-type]
+ mypyc/test/testutil.py:131: error: F? not callable  [misc]
+ mypyc/codegen/emitmodule.py:239: error: F? not callable  [misc]
+ mypyc/codegen/emitmodule.py:241: error: Returning Any from function declared to return "dict[str, ModuleIR]"  [no-any-return]
+ mypyc/codegen/emitmodule.py:280: error: Returning Any from function declared to return "dict[str, ModuleIR]"  [no-any-return]

optuna (https://github.com/optuna/optuna)
+ optuna/_experimental.py:54: error: ParamSpec "FP" is unbound  [valid-type]
+ optuna/_experimental.py:54: error: Type variable "optuna._experimental.FT" is unbound  [valid-type]
+ optuna/_experimental.py:54: note: (Hint: Use "Generic[FT]" or "Protocol[FT]" base class to bind "FT" inside a class)
+ optuna/_experimental.py:54: note: (Hint: Use "FT" in function signature to bind "FT" inside a function)
+ optuna/_experimental.py:67: error: Trying to assign name "__doc__" that is not in "__slots__" of type "_collections_abc.Callable"  [misc]
+ optuna/_experimental.py:71: error: Trying to assign name "__doc__" that is not in "__slots__" of type "_collections_abc.Callable"  [misc]
+ optuna/_experimental.py:73: error: "_collections_abc.Callable[FP, FT]" has no attribute "__qualname__"  [attr-defined]
+ optuna/_experimental.py:94: error: Type variable "optuna._experimental.CT" is unbound  [valid-type]
+ optuna/_experimental.py:94: note: (Hint: Use "Generic[CT]" or "Protocol[CT]" base class to bind "CT" inside a class)
+ optuna/_experimental.py:94: note: (Hint: Use "CT" in function signature to bind "CT" inside a function)
+ optuna/_deprecated.py:60: error: ParamSpec "FP" is unbound  [valid-type]
+ optuna/_deprecated.py:60: error: Type variable "optuna._deprecated.FT" is unbound  [valid-type]
+ optuna/_deprecated.py:60: note: (Hint: Use "Generic[FT]" or "Protocol[FT]" base class to bind "FT" inside a class)
+ optuna/_deprecated.py:60: note: (Hint: Use "FT" in function signature to bind "FT" inside a function)
+ optuna/_deprecated.py:91: error: Trying to assign name "__doc__" that is not in "__slots__" of type "_collections_abc.Callable"  [misc]
+ optuna/_deprecated.py:97: error: Trying to assign name "__doc__" that is not in "__slots__" of type "_collections_abc.Callable"  [misc]
+ optuna/_deprecated.py:107: error: "_collections_abc.Callable[FP, FT]" has no attribute "__name__"  [attr-defined]
+ optuna/_deprecated.py:127: error: Type variable "optuna._deprecated.CT" is unbound  [valid-type]
+ optuna/_deprecated.py:127: note: (Hint: Use "Generic[CT]" or "Protocol[CT]" base class to bind "CT" inside a class)
+ optuna/_deprecated.py:127: note: (Hint: Use "CT" in function signature to bind "CT" inside a function)
+ optuna/_convert_positional_args.py:46: error: ParamSpec "_P" is unbound  [valid-type]
+ optuna/_convert_positional_args.py:46: error: Type variable "optuna._convert_positional_args._T" is unbound  [valid-type]
+ optuna/_convert_positional_args.py:46: note: (Hint: Use "Generic[_T]" or "Protocol[_T]" base class to bind "_T" inside a class)
+ optuna/_convert_positional_args.py:46: note: (Hint: Use "_T" in function signature to bind "_T" inside a function)
+ optuna/_convert_positional_args.py:89: error: "_collections_abc.Callable[_P, _T]" has no attribute "__name__"  [attr-defined]
+ optuna/_convert_positional_args.py:96: error: "_collections_abc.Callable[_P, _T]" has no attribute "__name__"  [attr-defined]
+ optuna/_convert_positional_args.py:112: error: "_collections_abc.Callable[_P, _T]" has no attribute "__name__"  [attr-defined]
+ optuna/_convert_positional_args.py:122: error: "_collections_abc.Callable[_P, _T]" has no attribute "__name__"  [attr-defined]
+ tests/test_convert_positional_args.py:33: error: "_collections_abc.Callable[Any, _T?]" has no attribute "__name__"  [attr-defined]
+ tests/test_convert_positional_args.py:39: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/test_convert_positional_args.py:60: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/test_convert_positional_args.py:61: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/test_convert_positional_args.py:97: error: _T? has no attribute "method"  [attr-defined]
+ tests/test_convert_positional_args.py:137: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/test_convert_positional_args.py:141: error: Unused "type: ignore" comment  [unused-ignore]
+ optuna/importance/_fanova/_tree.py:124: error: _T? has no attribute "__iter__" (not iterable)  [attr-defined]
+ optuna/importance/_fanova/_tree.py:231: error: _T? has no attribute "__iter__" (not iterable)  [attr-defined]
+ optuna/samplers/_tpe/_truncnorm.py:81: error: Unsupported operand type for unary - (_T?)  [operator]
+ optuna/study/study.py:1560: error: _T? has no attribute "directions"  [attr-defined]
+ optuna/study/study.py:1564: error: _T? has no attribute "_storage"  [attr-defined]
+ optuna/study/study.py:1564: error: _T? has no attribute "_study_id"  [attr-defined]
+ optuna/study/study.py:1565: error: _T? has no attribute "_storage"  [attr-defined]
+ optuna/study/study.py:1565: error: _T? has no attribute "_study_id"  [attr-defined]
+ optuna/study/study.py:1567: error: _T? has no attribute "user_attrs"  [attr-defined]
+ optuna/study/study.py:1568: error: _T? has no attribute "set_user_attr"  [attr-defined]
+ optuna/study/study.py:1571: error: _T? has no attribute "get_trials"  [attr-defined]
+ optuna/study/study.py:1572: error: _T? has no

... (truncated 17995 lines) ...