Interpret `type` annotations as `type[Any]` annotations

Open tyralla opened this issue 2 years ago • 24 comments

Fixes #16349

I had to adjust three existing tests. In my opinion, all necessary adjustments indicate an increase in consistency.

Oct 29 '23 20:10 tyralla

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

pandas (https://github.com/pandas-dev/pandas)
- pandas/core/arrays/datetimelike.py:602: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2521: error: Unused "type: ignore" comment  [unused-ignore]

mypy (https://github.com/python/mypy)
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/fastparse.py:376: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2071: error: Missing type parameters for generic type "type"  [type-arg]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/lax/lax.py:1507: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

flake8-pyi (https://github.com/PyCQA/flake8-pyi)
+ pyi.py:57: error: Missing type parameters for generic type "type"  [type-arg]
+ pyi.py:1247: error: Missing type parameters for generic type "type"  [type-arg]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:147: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:615: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:615: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:3034: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3034: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3062: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3062: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:104: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:104: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

Oct 29 '23 21:10 github-actions[bot]

Regarding the Mypy primer's output, most changes inform about missing type arguments for type (as expected). I will check the other changes later.

All the failing Mypyc test suits also seem to be due to missing type arguments. No idea how many such problems exist. I am not familiar with Mypyc, but I suppose that inserting the most precise type possible leads to higher efficiency than just inserting Any?

Oct 29 '23 21:10 tyralla

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

pandas (https://github.com/pandas-dev/pandas)
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2521: error: Unused "type: ignore" comment  [unused-ignore]

flake8-pyi (https://github.com/PyCQA/flake8-pyi)
+ pyi.py:57: error: Missing type parameters for generic type "type"  [type-arg]
+ pyi.py:1302: error: Missing type parameters for generic type "type"  [type-arg]

mypy (https://github.com/python/mypy)
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/fastparse.py:376: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2071: error: Missing type parameters for generic type "type"  [type-arg]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

kornia (https://github.com/kornia/kornia)
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:105: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:105: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]

discord.py (https://github.com/Rapptz/discord.py): typechecking got 1.10x slower (174.0s -> 191.3s)
(Performance measurements are based on a single noisy sample)

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:615: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:615: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:3035: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3035: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3063: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3063: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

Nov 13 '23 15:11 github-actions[bot]

All the failing Mypyc test suits also seem to be due to missing type arguments. No idea how many such problems exist. I am not familiar with Mypyc, but I suppose that inserting the most precise type possible leads to higher efficiency than just inserting Any?

Now, the Mypyc tests also pass. I just had to add exactly one annotation...

Also, I switched from type[Any} to type[object] annotations, which seems to work in all cases.

Nov 13 '23 16:11 tyralla

I had a look at the Mypy primer diff. Most differences are, as expected, complaints about missing type arguments and error messages that now contain type[Any] instead of type, so that's okay. The other differences are mainly due to Mypy now understanding that object is no subtype of type, which also looks like a relevant improvement.

So, I think this pull request is ready for review.

Nov 14 '23 06:11 tyralla

You are right; addressing all places where type can be typed would be a bigger improvement. I will give it a try...

Nov 14 '23 19:11 tyralla

After some thinking and reading, I think analyze_annotation should be more often but not always true. It should be only true if type could be replaced with Type (for now). In my understanding, type (unfortunately) currently has three different meanings:

First, it allows us to define that we want to handle the class of an instance and not the instance itself. That is what this pull request is about, and I clearly should support Jelle's example, cast, and so on.

Second, it serves as a function to query the type of an object. In this regard, type(instance) is somehow like type[object](instance) and also like type[Any](instance) because it accepts instances of any type, and every type is a subtype of object. But forcing users to write type[object](instance) seems weird. (Then, what would type[int](instance) mean? That instance must be a subtype of int, and type checkers should otherwise throw an error?) So here, I guess analyze_annotation should be false for now.

Third, it serves as a factory function for generating class objects. Here, anything I can think of is that T in type[T] could mean the return type. The following code works, but Mypy complains:

class A: x = 1
B = type("B", (A,), {})
print(B.x)  # error: "type" has no attribute "x"

So, here it could eventually be helpful to annotate with A, but then Mypy says:

class A: x = 1
B = type[A]("B", (A,), {})  # error: Value of type "type[type]" is not indexable

I am sure others have thought this through much more thoroughly, and this is way beyond my current intention. Hence, for this pull request, analyze_annotation should also be false in such cases for now, in my opinion.

Nov 15 '23 07:11 tyralla

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

CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/clinic.py:4313: error: Missing type parameters for generic type "type"  [type-arg]

flake8-pyi (https://github.com/PyCQA/flake8-pyi)
+ pyi.py:57: error: Missing type parameters for generic type "type"  [type-arg]
+ pyi.py:1339: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2523: error: Unused "type: ignore" comment  [unused-ignore]

mypy (https://github.com/python/mypy)
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/fastparse.py:376: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2071: error: Missing type parameters for generic type "type"  [type-arg]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/dtypes.py:572: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type type[Any] | DType?; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:572: error: Argument 3 to "__call__" of "_lru_cache_wrapper" has incompatible type type[Any] | DType?; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:629: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "*set[type[Any]]"; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:629: note: Following member(s) of "set[type[Any]]" have conflicts:
+ jax/_src/dtypes.py:629: note:     __hash__: expected "Callable[[], int]", got "None"
+ jax/_src/dtypes.py:634: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "*set[type[Any]]"; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:634: note: Following member(s) of "set[type[Any]]" have conflicts:
+ jax/_src/dtypes.py:634: note:     __hash__: expected "Callable[[], int]", got "None"
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

kornia (https://github.com/kornia/kornia)
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3086:52: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:2678: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2678: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3062: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3062: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3090: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3090: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

Nov 15 '23 21:11 github-actions[bot]

Some quick notes (will have a full review later):

The jax hit in mypy-primer above is concerning, since it seems to indicate a bug where mypy thinks types are not hashable. That needs to be fixed.
I'm not convinced by your argument for why analyze_annotation shouldn't always be true, because in the contexts you outline, we shouldn't be calling anal_type in the first place (since these contexts do not hold types).
I don't like the name analyze_annotation, I think it should be something like is_annotation, or even is_type since we also use it outside of annotations.

Nov 15 '23 22:11 JelleZijlstra

Some quick notes (will have a full review later):

Thanks!

The jax hit in mypy-primer above is concerning, since it seems to indicate a bug where mypy thinks types are not hashable. That needs to be fixed.

Yes, and there are some more problems I have to think about, too. I will do it later.

I'm not convinced by your argument for why analyze_annotation shouldn't always be true, because in the contexts you outline, we shouldn't be calling anal_type in the first place (since these contexts do not hold types).

I misunderstood and thought you suggested to always convert type to type[Any]. I will rethink this.

I don't like the name analyze_annotation, I think it should be something like is_annotation, or even is_type since we also use it outside of annotations.

Okay, let's decide on the name as soon as everything works as desired.

Nov 16 '23 06:11 tyralla

I added a commit, but the test machinery does not start.

Anyhow, I renamed analyze_annotation to builtin_type_is_type_type (long but relatively explicit, IMO) and made it true by default. There are only very few exceptions related to:

t = type
class A(metaclass=t)

class B(type): ...

This new behaviour is debatable (conflicts with dataclasses.pyi):

_InitVarMeta: TypeAlias = type  # E: Missing type parameters for generic type "type"
class InitVar(Generic[_T], metaclass=_InitVarMeta):  # E: Invalid metaclass "_InitVarMeta"

Also, I added a new error message that tries to clarify things:

type[str](1)  # E: "builtins.type" is indexable as a type hint but neither a generic class nor a generic function
r = type[str]("r", (), {})  # E: "builtins.type" is indexable as a type hint but neither a generic class nor a generic function
class S(type[str]): ...  # E: "builtins.type" is indexable as a type hint but neither a generic class nor a generic function

I would look after the hashability problem and check if the code changes could be further simplified after we agreed on (or modified) these functionalities.

Nov 21 '23 05:11 tyralla

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

CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/clinic.py:3163: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4326: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4825: error: Missing type parameters for generic type "type"  [type-arg]

starlette (https://github.com/encode/starlette)
+ starlette/applications.py:127: error: Missing type parameters for generic type "type"  [type-arg]

flake8-pyi (https://github.com/PyCQA/flake8-pyi)
+ pyi.py:57: error: Missing type parameters for generic type "type"  [type-arg]
+ pyi.py:1339: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2523: error: Unused "type: ignore" comment  [unused-ignore]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:135: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:290: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:609: error: Missing type parameters for generic type "type"  [type-arg]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]
- src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:363: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1464: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:108: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:119: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:123: error: Missing type parameters for generic type "type"  [type-arg]

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3403: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3403: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:280: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:687: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:698: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:716: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2078: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:321: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:328: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/util/typing.py: note: In function "restify":
+ sphinx/util/typing.py:100:18: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/util/typing.py: note: At top level:
+ sphinx/util/typing.py:155: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:156: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:157: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:158: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:160: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:164: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:167: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:170: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:171: error: Unused "type: ignore[attr-defined]" comment  [unused-ignore]
+ sphinx/util/typing.py:173: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:179: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:188: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:205: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/domains/std.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std.py:1041:43: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/dtypes.py:572: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type type[Any] | DType?; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:572: error: Argument 3 to "__call__" of "_lru_cache_wrapper" has incompatible type type[Any] | DType?; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:629: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "*set[type[Any]]"; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:629: note: Following member(s) of "set[type[Any]]" have conflicts:
+ jax/_src/dtypes.py:629: note:     __hash__: expected "Callable[[], int]", got "None"
+ jax/_src/dtypes.py:634: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "*set[type[Any]]"; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:634: note: Following member(s) of "set[type[Any]]" have conflicts:
+ jax/_src/dtypes.py:634: note:     __hash__: expected "Callable[[], int]", got "None"
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:30: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:44: error: Unused "type: ignore" comment  [unused-ignore]

kornia (https://github.com/kornia/kornia)
+ kornia/core/check.py:119: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

mkdocs (https://github.com/mkdocs/mkdocs)
+ mkdocs/tests/config/config_options_legacy_tests.py:43: error: Argument 1 to "__call__" of "_lru_cache_wrapper" has incompatible type "type[Any]"; expected "Hashable"  [arg-type]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:155: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:238: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3087:52: error: Missing type parameters for generic type "type"  [type-arg]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/job.py:39: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:17: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:55:38: error: Missing type parameters for generic type "type"  [type-arg]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:119: error: Unused "type: ignore" comment  [unused-ignore]

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]
- ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type | tuple[type]"  [arg-type]
+ ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type[Any] | tuple[type[Any]]"  [arg-type]
- ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type"  [arg-type]
+ ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type[Any]"  [arg-type]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:200:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:568:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: At top level:

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:131: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:288: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:93: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:141: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:219: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:110: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:194: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:37: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:284: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:190: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:66: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:226: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:246: error: Missing type parameters for generic type "type"  [type-arg]

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:422:5: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:425:5: error: Missing type parameters for generic type "type"  [type-arg]

discord.py (https://github.com/Rapptz/discord.py)
+ discord/utils.py:724: error: Unused "type: ignore" comment  [unused-ignore]
- discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]
- discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:750: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:750: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:757: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:757: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:768: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:768: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:770: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:770: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:798: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:798: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:805: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:805: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:817: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:817: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:821: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:821: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:829: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:829: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:856: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:856: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:2678: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2678: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3062: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3062: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3090: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3090: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

Nov 21 '23 07:11 github-actions[bot]

This new behaviour is debatable (conflicts with dataclasses.pyi):

The new behavior feels right. The metaclass is a runtime concept; we don't need to allow using a type alias there.

Nov 21 '23 14:11 JelleZijlstra

This new behaviour is debatable (conflicts with dataclasses.pyi):

The new behavior feels right. The metaclass is a runtime concept; we don't need to allow using a type alias there.

Yes, I thought so, too. Okay, then I will leave it like this and will next have a look at the hashability problem.

Nov 21 '23 16:11 tyralla

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

CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/clinic.py:3163: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4326: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4825: error: Missing type parameters for generic type "type"  [type-arg]

starlette (https://github.com/encode/starlette)
+ starlette/applications.py:127: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2523: error: Unused "type: ignore" comment  [unused-ignore]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:135: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:290: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:609: error: Missing type parameters for generic type "type"  [type-arg]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]
- src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:363: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1464: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:108: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:119: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:123: error: Missing type parameters for generic type "type"  [type-arg]

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3403: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3403: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:280: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:687: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:698: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:716: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2078: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:321: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:328: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/util/typing.py: note: In function "restify":
+ sphinx/util/typing.py:100:18: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/util/typing.py: note: At top level:
+ sphinx/util/typing.py:155: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:156: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:157: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:158: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:160: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:164: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:167: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:170: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:171: error: Unused "type: ignore[attr-defined]" comment  [unused-ignore]
+ sphinx/util/typing.py:173: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:179: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:188: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:205: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/domains/std.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std.py:1041:43: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/dtypes.py:572: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type type[Any] | DType?; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:572: error: Argument 3 to "__call__" of "_lru_cache_wrapper" has incompatible type type[Any] | DType?; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:629: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "*set[type[Any]]"; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:629: note: Following member(s) of "set[type[Any]]" have conflicts:
+ jax/_src/dtypes.py:629: note:     __hash__: expected "Callable[[], int]", got "None"
+ jax/_src/dtypes.py:634: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "*set[type[Any]]"; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:634: note: Following member(s) of "set[type[Any]]" have conflicts:
+ jax/_src/dtypes.py:634: note:     __hash__: expected "Callable[[], int]", got "None"
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:30: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:44: error: Unused "type: ignore" comment  [unused-ignore]

kornia (https://github.com/kornia/kornia)
+ kornia/core/check.py:119: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:155: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:238: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/job.py:39: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:17: error: Missing type parameters for generic type "type"  [type-arg]

mkdocs (https://github.com/mkdocs/mkdocs)
+ mkdocs/tests/config/config_options_legacy_tests.py:43: error: Argument 1 to "__call__" of "_lru_cache_wrapper" has incompatible type "type[Any]"; expected "Hashable"  [arg-type]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:119: error: Unused "type: ignore" comment  [unused-ignore]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:55:38: error: Missing type parameters for generic type "type"  [type-arg]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3087:52: error: Missing type parameters for generic type "type"  [type-arg]

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]
- ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type | tuple[type]"  [arg-type]
+ ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type[Any] | tuple[type[Any]]"  [arg-type]
- ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type"  [arg-type]
+ ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type[Any]"  [arg-type]

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:422:5: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:425:5: error: Missing type parameters for generic type "type"  [type-arg]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:131: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:288: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:93: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:141: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:219: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:110: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:194: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:37: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:284: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:190: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:66: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:226: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:246: error: Missing type parameters for generic type "type"  [type-arg]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

discord.py (https://github.com/Rapptz/discord.py)
+ discord/utils.py:724: error: Unused "type: ignore" comment  [unused-ignore]
- discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]
- discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:200:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:568:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: At top level:

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:750: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:750: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:757: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:757: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:768: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:768: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:770: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:770: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:798: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:798: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:805: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:805: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:817: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:817: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:821: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:821: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:829: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:829: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:856: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:856: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:2678: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2678: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3062: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3062: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3090: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3090: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

Nov 21 '23 17:11 github-actions[bot]

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

CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/clinic.py:3163: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4326: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4825: error: Missing type parameters for generic type "type"  [type-arg]

starlette (https://github.com/encode/starlette)
+ starlette/applications.py:127: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2523: error: Unused "type: ignore" comment  [unused-ignore]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:135: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:290: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:609: error: Missing type parameters for generic type "type"  [type-arg]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]
- src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3403: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3403: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:280: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:687: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:698: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:716: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2078: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:321: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:328: error: Missing type parameters for generic type "type"  [type-arg]

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:363: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1464: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:108: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:119: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:123: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/util/typing.py: note: In function "restify":
+ sphinx/util/typing.py:100:18: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/util/typing.py: note: At top level:
+ sphinx/util/typing.py:155: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:156: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:157: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:158: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:160: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:164: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:167: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:170: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:171: error: Unused "type: ignore[attr-defined]" comment  [unused-ignore]
+ sphinx/util/typing.py:173: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:179: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:188: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:205: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/domains/std.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std.py:1041:43: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/dtypes.py:572: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type type[Any] | DType?; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:572: error: Argument 3 to "__call__" of "_lru_cache_wrapper" has incompatible type type[Any] | DType?; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:629: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "*set[type[Any]]"; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:629: note: Following member(s) of "set[type[Any]]" have conflicts:
+ jax/_src/dtypes.py:629: note:     __hash__: expected "Callable[[], int]", got "None"
+ jax/_src/dtypes.py:634: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "*set[type[Any]]"; expected "Hashable"  [arg-type]
+ jax/_src/dtypes.py:634: note: Following member(s) of "set[type[Any]]" have conflicts:
+ jax/_src/dtypes.py:634: note:     __hash__: expected "Callable[[], int]", got "None"
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:30: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:44: error: Unused "type: ignore" comment  [unused-ignore]

kornia (https://github.com/kornia/kornia)
+ kornia/core/check.py:119: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:155: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:238: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

mkdocs (https://github.com/mkdocs/mkdocs)
+ mkdocs/tests/config/config_options_legacy_tests.py:43: error: Argument 1 to "__call__" of "_lru_cache_wrapper" has incompatible type "type[Any]"; expected "Hashable"  [arg-type]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3087:52: error: Missing type parameters for generic type "type"  [type-arg]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/job.py:39: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:17: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:55:38: error: Missing type parameters for generic type "type"  [type-arg]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:119: error: Unused "type: ignore" comment  [unused-ignore]

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]
- ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type | tuple[type]"  [arg-type]
+ ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type[Any] | tuple[type[Any]]"  [arg-type]
- ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type"  [arg-type]
+ ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type[Any]"  [arg-type]

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:422:5: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:425:5: error: Missing type parameters for generic type "type"  [type-arg]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:200:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:568:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: At top level:

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:131: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:288: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:93: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:141: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:219: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:110: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:194: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:37: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:284: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:190: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:66: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:226: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:246: error: Missing type parameters for generic type "type"  [type-arg]

discord.py (https://github.com/Rapptz/discord.py): typechecking got 1.09x faster (192.6s -> 176.7s)
(Performance measurements are based on a single noisy sample)
+ discord/utils.py:724: error: Unused "type: ignore" comment  [unused-ignore]
- discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]
- discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:750: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:750: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:757: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:757: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:768: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:768: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:770: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:770: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:798: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:798: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:805: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:805: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:817: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:817: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:821: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:821: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:829: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:829: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:856: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:856: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:2678: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2678: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3062: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3062: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3090: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3090: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

Nov 21 '23 18:11 github-actions[bot]

The jax hit in mypy-primer above is concerning, since it seems to indicate a bug where mypy thinks types are not hashable. That needs to be fixed.

I checked if this is an already existing limitation. Mypy 1.7 reports:

from typing import Any, Hashable
t: type[Any]
h: Hashable = t  # E: Incompatible types in assignment (expression has type "type[Any]", variable has type "Hashable")  [assignment]

So, should we tackle this issue in a separate PR?

Nov 22 '23 17:11 tyralla

Hashing, protocols and metaclasses - not a nice combination...

After much debugging, I tried a very direct approach that at least considers that someone could overwrite __hash__ with None in a metaclass.

Nov 24 '23 19:11 tyralla

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

CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/clinic.py:3163: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4326: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4825: error: Missing type parameters for generic type "type"  [type-arg]

starlette (https://github.com/encode/starlette)
+ starlette/applications.py:127: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/dtypes/cast.py:590: error: Unused "type: ignore" comment  [unused-ignore]
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2523: error: Unused "type: ignore" comment  [unused-ignore]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:135: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:290: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:609: error: Missing type parameters for generic type "type"  [type-arg]

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3403: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3403: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:280: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:687: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:698: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:716: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2078: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:321: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:328: error: Missing type parameters for generic type "type"  [type-arg]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]
- src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/server/database/configurations.py:61: error: Incompatible return value type (got "tuple[type[BaseDatabaseConfiguration], str]", expected "tuple[Hashable, ...]")  [return-value]
+ src/prefect/server/database/query_components.py:54: error: Incompatible return value type (got "tuple[type[BaseQueryComponents]]", expected "tuple[Hashable, ...]")  [return-value]
+ src/prefect/server/database/orm_models.py:1460: error: Incompatible return value type (got "tuple[type[BaseORMConfiguration], MetaData, tuple[Any, ...]]", expected "tuple[Hashable, ...]")  [return-value]

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:363: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1464: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:108: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:119: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:123: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/util/typing.py: note: In function "restify":
+ sphinx/util/typing.py:100:18: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/util/typing.py: note: At top level:
+ sphinx/util/typing.py:155: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:156: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:157: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:158: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:160: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:164: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:167: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:170: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:171: error: Unused "type: ignore[attr-defined]" comment  [unused-ignore]
+ sphinx/util/typing.py:173: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:179: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:188: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:205: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/domains/std.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std.py:1041:43: error: Missing type parameters for generic type "type"  [type-arg]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:30: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:44: error: Unused "type: ignore" comment  [unused-ignore]

kornia (https://github.com/kornia/kornia)
+ kornia/core/check.py:119: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:155: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:238: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]
- ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type | tuple[type]"  [arg-type]
+ ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type[Any] | tuple[type[Any]]"  [arg-type]
- ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type"  [arg-type]
+ ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type[Any]"  [arg-type]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3087:52: error: Missing type parameters for generic type "type"  [type-arg]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/job.py:39: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:17: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:55:38: error: Missing type parameters for generic type "type"  [type-arg]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:119: error: Unused "type: ignore" comment  [unused-ignore]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:131: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:288: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:93: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:57: error: Argument 1 to "__call__" of "_lru_cache_wrapper" has incompatible type "type[Dumper]"; expected "Hashable"  [arg-type]
+ psycopg/psycopg/types/json.py:57: note: Following member(s) of "Dumper" have conflicts:
+ psycopg/psycopg/types/json.py:57: note:     Expected:
+ psycopg/psycopg/types/json.py:57: note:         def __hash__() -> int
+ psycopg/psycopg/types/json.py:57: note:     Got:
+ psycopg/psycopg/types/json.py:57: note:         def __hash__(self: object) -> int
+ psycopg/psycopg/types/json.py:141: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:219: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:110: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:194: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:307: error: Argument 3 to "__call__" of "_lru_cache_wrapper" has incompatible type "type[NamedTuple] | Callable[..., Any]"; expected "Hashable"  [arg-type]
+ psycopg/psycopg/types/composite.py:311: error: Argument 2 to "__call__" of "_lru_cache_wrapper" has incompatible type "type[NamedTuple] | Callable[..., Any]"; expected "Hashable"  [arg-type]
+ psycopg/psycopg/types/array.py:37: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:284: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:190: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:66: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:226: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:246: error: Missing type parameters for generic type "type"  [type-arg]

pydantic (https://github.com/samuelcolvin/pydantic)
+ pydantic/json_schema.py:2192: error: Value of type variable "JsonSchemaKeyT" of "generate_definitions" of "GenerateJsonSchema" cannot be "type[BaseModel] | type[PydanticDataclass]"  [type-var]
- pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:200:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:568:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: At top level:

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:450:34: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:453:34: error: Missing type parameters for generic type "type"  [type-arg]

discord.py (https://github.com/Rapptz/discord.py)
+ discord/utils.py:724: error: Unused "type: ignore" comment  [unused-ignore]
- discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]
- discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:755: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:755: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:762: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:762: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:773: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:773: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:775: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:775: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:803: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:803: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:810: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:810: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:822: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:822: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:826: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:826: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:834: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:834: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:861: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:861: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:2716: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2716: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:2804: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2804: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3100: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3100: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3128: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3128: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

jinja (https://github.com/pallets/jinja)
+ src/jinja2/environment.py:1186: error: Unused "type: ignore" comment  [unused-ignore]
+ src/jinja2/environment.py:1201: error: Unused "type: ignore" comment  [unused-ignore]

Nov 24 '23 19:11 github-actions[bot]

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

CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/clinic.py:3163: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4326: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4825: error: Missing type parameters for generic type "type"  [type-arg]

starlette (https://github.com/encode/starlette)
+ starlette/applications.py:127: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/dtypes/cast.py:590: error: Unused "type: ignore" comment  [unused-ignore]
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2523: error: Unused "type: ignore" comment  [unused-ignore]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:135: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:290: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:609: error: Missing type parameters for generic type "type"  [type-arg]

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]
- src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3403: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3403: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:280: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:687: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:698: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:716: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2078: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:321: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:328: error: Missing type parameters for generic type "type"  [type-arg]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:363: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1464: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:108: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:119: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:123: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/util/typing.py: note: In function "restify":
+ sphinx/util/typing.py:100:18: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/util/typing.py: note: At top level:
+ sphinx/util/typing.py:155: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:156: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:157: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:158: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:160: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:164: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:167: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:170: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:171: error: Unused "type: ignore[attr-defined]" comment  [unused-ignore]
+ sphinx/util/typing.py:173: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:179: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:188: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:205: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/domains/std.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std.py:1041:43: error: Missing type parameters for generic type "type"  [type-arg]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:30: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:44: error: Unused "type: ignore" comment  [unused-ignore]

kornia (https://github.com/kornia/kornia)
+ kornia/core/check.py:119: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:155: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:238: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3087:52: error: Missing type parameters for generic type "type"  [type-arg]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:119: error: Unused "type: ignore" comment  [unused-ignore]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:55:38: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/job.py:39: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:17: error: Missing type parameters for generic type "type"  [type-arg]

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]
- ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type | tuple[type]"  [arg-type]
+ ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type[Any] | tuple[type[Any]]"  [arg-type]
- ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type"  [arg-type]
+ ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type[Any]"  [arg-type]

jinja (https://github.com/pallets/jinja)
+ src/jinja2/environment.py:1186: error: Unused "type: ignore" comment  [unused-ignore]
+ src/jinja2/environment.py:1201: error: Unused "type: ignore" comment  [unused-ignore]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:200:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:568:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: At top level:

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:450:34: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:453:34: error: Missing type parameters for generic type "type"  [type-arg]

discord.py (https://github.com/Rapptz/discord.py)
+ discord/utils.py:724: error: Unused "type: ignore" comment  [unused-ignore]
- discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]
- discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:131: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:288: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:93: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:141: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:219: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:110: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:194: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:37: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:284: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:190: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:66: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:226: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:246: error: Missing type parameters for generic type "type"  [type-arg]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:619: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:755: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:755: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:762: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:762: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:773: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:773: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:775: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:775: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:803: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:803: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:810: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:810: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:822: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:822: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:826: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:826: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:834: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:834: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:861: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:861: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:2716: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2716: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:2804: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2804: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3100: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3100: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3128: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3128: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

Nov 24 '23 21:11 github-actions[bot]

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

CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/clinic.py:3163: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4326: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4825: error: Missing type parameters for generic type "type"  [type-arg]

starlette (https://github.com/encode/starlette)
+ starlette/applications.py:127: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/dtypes/cast.py:590: error: Unused "type: ignore" comment  [unused-ignore]
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2523: error: Unused "type: ignore" comment  [unused-ignore]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:135: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:290: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:609: error: Missing type parameters for generic type "type"  [type-arg]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]
- src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:363: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1464: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:108: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:119: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:123: error: Missing type parameters for generic type "type"  [type-arg]

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3403: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3403: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:280: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:687: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:698: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:716: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2078: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:321: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:328: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/util/typing.py: note: In function "restify":
+ sphinx/util/typing.py:100:18: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/util/typing.py: note: At top level:
+ sphinx/util/typing.py:155: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:156: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:157: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:158: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:160: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:164: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:167: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:170: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:171: error: Unused "type: ignore[attr-defined]" comment  [unused-ignore]
+ sphinx/util/typing.py:173: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:179: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:188: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:205: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/domains/std.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std.py:1041:43: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:30: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:44: error: Unused "type: ignore" comment  [unused-ignore]

kornia (https://github.com/kornia/kornia)
+ kornia/core/check.py:119: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:155: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:238: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]
- ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type | tuple[type]"  [arg-type]
+ ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type[Any] | tuple[type[Any]]"  [arg-type]
- ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type"  [arg-type]
+ ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type[Any]"  [arg-type]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3087:52: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/job.py:39: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:17: error: Missing type parameters for generic type "type"  [type-arg]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:55:38: error: Missing type parameters for generic type "type"  [type-arg]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:119: error: Unused "type: ignore" comment  [unused-ignore]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:131: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:288: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:93: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:141: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:219: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:110: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:194: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:37: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:284: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:190: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:66: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:226: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:246: error: Missing type parameters for generic type "type"  [type-arg]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:200:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:568:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: At top level:

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:450:34: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:453:34: error: Missing type parameters for generic type "type"  [type-arg]

discord.py (https://github.com/Rapptz/discord.py)
+ discord/utils.py:724: error: Unused "type: ignore" comment  [unused-ignore]
- discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]
- discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]

jinja (https://github.com/pallets/jinja)
+ src/jinja2/environment.py:1186: error: Unused "type: ignore" comment  [unused-ignore]
+ src/jinja2/environment.py:1201: error: Unused "type: ignore" comment  [unused-ignore]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:626: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:626: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:762: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:762: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:769: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:769: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:780: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:780: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:782: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:782: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:810: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:810: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:817: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:817: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:829: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:829: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:833: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:833: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:841: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:841: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:868: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:868: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:2725: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2725: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:2813: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2813: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3109: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3109: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3137: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3137: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

Nov 26 '23 17:11 github-actions[bot]

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

CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/clinic.py:3163: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4326: error: Missing type parameters for generic type "type"  [type-arg]
+ Tools/clinic/clinic.py:4825: error: Missing type parameters for generic type "type"  [type-arg]

starlette (https://github.com/encode/starlette)
+ starlette/applications.py:127: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/dtypes/cast.py:590: error: Unused "type: ignore" comment  [unused-ignore]
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2523: error: Unused "type: ignore" comment  [unused-ignore]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:135: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:290: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:609: error: Missing type parameters for generic type "type"  [type-arg]

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]
- src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3403: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3403: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:376: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:280: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:687: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:698: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:710: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:716: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2078: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:321: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:328: error: Missing type parameters for generic type "type"  [type-arg]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:363: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:165: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1464: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:108: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:119: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:123: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/util/typing.py: note: In function "restify":
+ sphinx/util/typing.py:100:18: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/util/typing.py: note: At top level:
+ sphinx/util/typing.py:155: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:156: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:157: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:158: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:160: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:164: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:167: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:170: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:171: error: Unused "type: ignore[attr-defined]" comment  [unused-ignore]
+ sphinx/util/typing.py:173: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:179: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:188: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:205: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/domains/std.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std.py:1041:43: error: Missing type parameters for generic type "type"  [type-arg]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:30: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:44: error: Unused "type: ignore" comment  [unused-ignore]

kornia (https://github.com/kornia/kornia)
+ kornia/core/check.py:119: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:155: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:238: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/job.py:39: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:17: error: Missing type parameters for generic type "type"  [type-arg]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:119: error: Unused "type: ignore" comment  [unused-ignore]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:55:38: error: Missing type parameters for generic type "type"  [type-arg]

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]
- ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type | tuple[type]"  [arg-type]
+ ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type[Any] | tuple[type[Any]]"  [arg-type]
- ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type"  [arg-type]
+ ibis/backends/datafusion/compiler/values.py:115: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type[Any]"  [arg-type]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3087:52: error: Missing type parameters for generic type "type"  [type-arg]

jinja (https://github.com/pallets/jinja)
+ src/jinja2/environment.py:1186: error: Unused "type: ignore" comment  [unused-ignore]
+ src/jinja2/environment.py:1201: error: Unused "type: ignore" comment  [unused-ignore]

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:450:34: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:453:34: error: Missing type parameters for generic type "type"  [type-arg]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:200:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:230:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:241:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:568:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: At top level:

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:131: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:288: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:93: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:141: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:219: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:110: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:194: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:37: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:284: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:190: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/utils.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:66: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:226: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:246: error: Missing type parameters for generic type "type"  [type-arg]

discord.py (https://github.com/Rapptz/discord.py): typechecking got 1.07x faster (190.1s -> 178.2s)
(Performance measurements are based on a single noisy sample)
+ discord/utils.py:724: error: Unused "type: ignore" comment  [unused-ignore]
- discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]
- discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:106: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:627: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:627: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:833: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:833: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:840: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:840: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:851: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:851: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:853: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:853: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:881: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:881: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:888: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:888: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:900: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:900: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:904: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:904: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:912: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:912: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:939: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:939: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:2796: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2796: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:2884: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2884: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3180: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3180: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3208: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3208: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

Nov 27 '23 05:11 github-actions[bot]

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

jinja (https://github.com/pallets/jinja)
+ src/jinja2/environment.py:1186: error: Unused "type: ignore" comment  [unused-ignore]
+ src/jinja2/environment.py:1201: error: Unused "type: ignore" comment  [unused-ignore]

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:450:34: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:453:34: error: Missing type parameters for generic type "type"  [type-arg]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:33: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:62: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:67: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:131: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:288: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:366: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:93: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:141: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:219: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:110: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:194: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:51: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:37: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:284: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:190: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_gc.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:45: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:66: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:200: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:226: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:246: error: Missing type parameters for generic type "type"  [type-arg]

steam.py (https://github.com/Gobot1234/steam.py)
- steam/id.py:237: error: Need type annotation for "__class_getitem__"  [var-annotated]

pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/dtypes/cast.py:592: error: Unused "type: ignore" comment  [unused-ignore]
- pandas/core/arrays/datetimelike.py:603: error: Argument 1 to "Timestamp" has incompatible type "object"; expected "integer[Any] | float | str | date | datetime | datetime64"  [arg-type]
+ pandas/core/reshape/merge.py:2510: error: Unused "type: ignore" comment  [unused-ignore]

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/utilities/collections.py:342: error: Argument after ** must be a mapping, not "list[Any]"  [arg-type]
- src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:184: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:184: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:186: note:     def __new__(cls: type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:186: note:     def [_typeshed.Self] __new__(cls: type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self

starlette (https://github.com/encode/starlette)
+ starlette/applications.py:127: error: Missing type parameters for generic type "type"  [type-arg]

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3403: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3403: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:368: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:280: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:729: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:740: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:752: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:758: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2078: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:321: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:328: error: Missing type parameters for generic type "type"  [type-arg]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:135: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:290: error: Missing type parameters for generic type "type"  [type-arg]
+ more_itertools/more.pyi:609: error: Missing type parameters for generic type "type"  [type-arg]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:109: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:265: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:363: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:167: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1466: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:108: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:119: error: Unused "type: ignore" comment  [unused-ignore]
+ src/_pytest/unittest.py:123: error: Missing type parameters for generic type "type"  [type-arg]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/util/typing.py: note: In function "restify":
+ sphinx/util/typing.py:100:18: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/util/typing.py: note: At top level:
+ sphinx/util/typing.py:155: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:156: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:157: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:158: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:160: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:164: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:167: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:170: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:171: error: Unused "type: ignore[attr-defined]" comment  [unused-ignore]
+ sphinx/util/typing.py:173: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:179: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/util/typing.py:188: error: Unused "type: ignore" comment  [unused-ignore]
+ sphinx/domains/std.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std.py:1041:43: error: Missing type parameters for generic type "type"  [type-arg]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:30: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:44: error: Unused "type: ignore" comment  [unused-ignore]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:155: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:360: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:238: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:43: error: Missing type parameters for generic type "type"  [type-arg]

trio (https://github.com/python-trio/trio)
+ src/trio/_path.py:135: error: Missing type parameters for generic type "type"  [type-arg]
+ src/trio/_path.py:136: error: Missing type parameters for generic type "type"  [type-arg]
+ src/trio/_path.py:142: error: Missing type parameters for generic type "type"  [type-arg]
+ src/trio/_path.py:210: error: Missing type parameters for generic type "type"  [type-arg]
+ src/trio/_path.py:211: error: Missing type parameters for generic type "type"  [type-arg]
+ src/trio/_tests/test_exports.py:82: error: Missing type parameters for generic type "type"  [type-arg]
+ src/trio/_core/_tests/test_run.py:460: error: Missing type parameters for generic type "type"  [type-arg]

mkosi (https://github.com/systemd/mkosi)
+ mkosi/config.py:3245:52: error: Missing type parameters for generic type "type"  [type-arg]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/cwlprov/provenance_profile.py:24: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:17: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:423: error: Unused "type: ignore" comment  [unused-ignore]

jax (https://github.com/google/jax)
+ jax/_src/lax/lax.py:1511: error: Invalid index type "object" for "dict[type[Any], Callable[[Array | Any | Any | Any | bool | int | float | complex, Array | Any | Any | Any | bool | int | float | complex], Array]]"; expected type "type[Any]"  [index]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:130: error: Unused "type: ignore" comment  [unused-ignore]
+ python/pyspark/sql/worker/analyze_udtf.py:145: error: Unused "type: ignore" comment  [unused-ignore]

kornia (https://github.com/kornia/kornia)
+ kornia/core/check.py:119: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]

discord.py (https://github.com/Rapptz/discord.py)
+ discord/utils.py:724: error: Unused "type: ignore" comment  [unused-ignore]
- discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/transformers.py:739: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]
- discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type")  [assignment]
+ discord/app_commands/commands.py:235: error: Incompatible default for argument "_none" (default has type "<typing special form>", argument has type "type[Any]")  [assignment]

pydantic (https://github.com/samuelcolvin/pydantic)
- pydantic/_internal/_generate_schema.py:108: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:108: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:202:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:232:42: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py:243:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:568:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: At top level:

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:123: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:65: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]
- ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type | tuple[type]"  [arg-type]
+ ibis/expr/types/core.py:249: error: Argument 1 to "find" of "Node" has incompatible type "tuple[type[DatabaseTable], type[SQLQueryResult], type[UnboundTable]]"; expected "type[Any] | tuple[type[Any]]"  [arg-type]
- ibis/backends/datafusion/compiler/values.py:116: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type"  [arg-type]
+ ibis/backends/datafusion/compiler/values.py:116: error: Argument 1 to "issubclass" has incompatible type "object"; expected "type[Any]"  [arg-type]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
- src/hydra_zen/structured_configs/_implementations.py:628: error: Incompatible types in assignment (expression has type "object", variable has type "type")  [assignment]
+ src/hydra_zen/structured_configs/_implementations.py:628: error: Incompatible types in assignment (expression has type "object", variable has type "type[Any]")  [assignment]
- src/hydra_zen/structured_configs/_implementations.py:834: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:834: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:841: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:841: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:852: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:852: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:854: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:854: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:882: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:882: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:889: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:889: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:901: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:901: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:905: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:905: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:913: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:913: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:940: error: Incompatible return value type (got "object", expected "type")  [return-value]
+ src/hydra_zen/structured_configs/_implementations.py:940: error: Incompatible return value type (got "object", expected "type[Any]")  [return-value]
- src/hydra_zen/structured_configs/_implementations.py:2797: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2797: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:2885: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2885: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3181: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:3181: error: Argument "hint" to "ZenField" has incompatible type "object"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3209: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3209: error: List comprehension has incompatible type List[tuple[str, object, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:55:38: error: Missing type parameters for generic type "type"  [type-arg]

Dec 11 '23 04:12 github-actions[bot]

@JelleZijlstra @JukkaL It seems the Typing Council decided in agreement with this PR; at least the typing specs indicate so:

Plain type without brackets, the root of Python's metaclass hierarchy, is equivalent to type[Any].

So, a possible migration mechanism is the only issue left for this PR, isn't it? Personally, I think that adding the missing parameters (or just Any) should not be too much effort, even for large code bases. However, I could try to add a specific error code which allows silencing the Missing type parameters for generic type "type" errors and inserts Any automatically.

Apr 06 '24 17:04 tyralla

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

python-htmlgen (https://github.com/srittau/python-htmlgen)
+ htmlgen/attribute.pyi:14: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:20: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:28: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:37: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:46: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:55: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:66: error: Missing type parameters for generic type "type"  [type-arg]
+ htmlgen/attribute.pyi:74: error: Missing type parameters for generic type "type"  [type-arg]

manticore (https://github.com/trailofbits/manticore)
+ manticore/wasm/types.py:56: error: Unused "type: ignore" comment  [unused-ignore]
+ manticore/wasm/executor.py:402: error: Unused "type: ignore" comment  [unused-ignore]
+ manticore/wasm/executor.py:1226: error: Unused "type: ignore" comment  [unused-ignore]

prefect (https://github.com/PrefectHQ/prefect)
+ src/prefect/utilities/collections.py:407: error: Redundant cast to "type[Any]"  [redundant-cast]
- src/prefect/utilities/pydantic.py:189: note:     def __new__(type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:189: note:     def __new__(type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:189: note:     def [_typeshed.Self] __new__(type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:189: note:     def [_typeshed.Self] __new__(type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/utilities/pydantic.py:191: note:     def __new__(type[type], object, /) -> type
+ src/prefect/utilities/pydantic.py:191: note:     def __new__(type[type], object, /) -> type[Any]
- src/prefect/utilities/pydantic.py:191: note:     def [_typeshed.Self] __new__(type[_typeshed.Self], str, tuple[type, ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
+ src/prefect/utilities/pydantic.py:191: note:     def [_typeshed.Self] __new__(type[_typeshed.Self], str, tuple[type[Any], ...], dict[str, Any], /, **kwds: Any) -> _typeshed.Self
- src/prefect/settings/legacy.py:105: error: Argument 1 to "__call__" of "_lru_cache_wrapper" has incompatible type "type[PrefectBaseSettings]"; expected "Hashable"  [arg-type]
- src/prefect/settings/legacy.py:105: note: Following member(s) of "PrefectBaseSettings" have conflicts:
- src/prefect/settings/legacy.py:105: note:     Expected:
- src/prefect/settings/legacy.py:105: note:         def __hash__() -> int
- src/prefect/settings/legacy.py:105: note:     Got:
- src/prefect/settings/legacy.py:105: note:         def __hash__(self: object) -> int
- src/prefect/settings/legacy.py:105: note:     Expected:
- src/prefect/settings/legacy.py:105: note:         def __hash__() -> int
- src/prefect/settings/legacy.py:105: note:     Got:
- src/prefect/settings/legacy.py:105: note:         def __hash__(self: object) -> int
- src/prefect/settings/legacy.py:136: error: Argument 1 to "__call__" of "_lru_cache_wrapper" has incompatible type "type[PrefectBaseSettings]"; expected "Hashable"  [arg-type]
- src/prefect/settings/legacy.py:136: note: Following member(s) of "PrefectBaseSettings" have conflicts:
- src/prefect/settings/legacy.py:136: note:     Expected:
- src/prefect/settings/legacy.py:136: note:         def __hash__() -> int
- src/prefect/settings/legacy.py:136: note:     Got:
- src/prefect/settings/legacy.py:136: note:         def __hash__(self: object) -> int
- src/prefect/settings/legacy.py:136: note:     Expected:
- src/prefect/settings/legacy.py:136: note:         def __hash__() -> int
- src/prefect/settings/legacy.py:136: note:     Got:
- src/prefect/settings/legacy.py:136: note:         def __hash__(self: object) -> int
- src/prefect/blocks/core.py:244: error: "type" has no attribute "_to_block_schema_reference_dict"  [attr-defined]
- src/prefect/blocks/core.py:248: error: "type" has no attribute "_to_block_schema_reference_dict"  [attr-defined]
- src/prefect/blocks/core.py:251: error: "type" has no attribute "_to_block_schema_reference_dict"  [attr-defined]
- src/prefect/blocks/core.py:1081: error: "type" has no attribute "register_type_and_schema"  [attr-defined]

pydantic (https://github.com/pydantic/pydantic)
- pydantic/config.py:1052: error: "_TypeT" has no attribute "__pydantic_config__"  [attr-defined]
- pydantic/_internal/_core_utils.py:90: error: "object" has no attribute "__name__"; maybe "__ne__" or "__new__"?  [attr-defined]
- pydantic/_internal/_generate_schema.py:130: error: List item 1 has incompatible type "<typing special form>"; expected "type"  [list-item]
+ pydantic/_internal/_generate_schema.py:130: error: List item 1 has incompatible type "<typing special form>"; expected "type[Any]"  [list-item]
- pydantic/_internal/_generate_schema.py:944: error: Argument 1 to "_type_alias_type_schema" of "GenerateSchema" has incompatible type "object"; expected "TypeAliasType"  [arg-type]
- pydantic/_internal/_generate_schema.py:1620: error: "object" has no attribute "__value__"  [attr-defined]
+ pydantic/_internal/_model_construction.py:296: error: Unused "type: ignore" comment  [unused-ignore]

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/_internal/vendor/inspect.pyi:248: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:249: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:289: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:365: error: Missing type parameters for generic type "type"  [type-arg]
+ tanjun/_internal/vendor/inspect.pyi:368: error: Missing type parameters for generic type "type"  [type-arg]

psycopg (https://github.com/psycopg/psycopg)
+ psycopg/psycopg/abc.py:25: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:34: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/abc.py:113: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_typeinfo.py:28: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:64: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:69: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:112: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/_adapters_map.py:189: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:38: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/adapt.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:23: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/string.py:133: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/range.py:289: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:150: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:373: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/numeric.py:375: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/net.py:95: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:143: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/json.py:225: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/enum.py:111: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/datetime.py:196: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:53: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/composite.py:134: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:41: error: Missing type parameters for generic type "type"  [type-arg]
+ psycopg/psycopg/types/array.py:292: error: Unused "type: ignore" comment  [unused-ignore]
+ psycopg/psycopg/types/multirange.py:185: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_gc.py:22: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:47: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:68: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:71: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:79: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:202: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:228: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/fix_faker.py:252: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:20: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/adapters_example.py:31: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/test_copy_async.py:340: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/test_copy.py:329: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/types/test_numeric.py:81: error: Missing type parameters for generic type "type"  [type-arg]

jinja (https://github.com/pallets/jinja)
+ src/jinja2/environment.py:1189: error: Unused "type: ignore" comment  [unused-ignore]
+ src/jinja2/environment.py:1204: error: Unused "type: ignore" comment  [unused-ignore]

cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/cwlprov/provenance_profile.py:13: note: In module imported here:
+ mypy-stubs/prov/model.pyi: note: In member "get_records" of class "ProvBundle":
+ mypy-stubs/prov/model.pyi:226:13: error: Missing type parameters for generic type "type"  [type-arg]

pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/dtypes/cast.py:591: error: Unused "type: ignore" comment  [unused-ignore]
+ pandas/core/arrays/datetimelike.py:610: error: Unused "type: ignore" comment  [unused-ignore]
+ pandas/core/reshape/merge.py:2846: error: Unused "type: ignore" comment  [unused-ignore]

more-itertools (https://github.com/more-itertools/more-itertools)
+ more_itertools/more.pyi:45: error: Missing type parameters for generic type "type"  [type-arg]

artigraph (https://github.com/artigraph/artigraph)
+ stubs/parse.pyi:7: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/internal/type_hints.py:23: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/internal/type_hints.py:38: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/internal/type_hints.py:44: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/internal/type_hints.py:51: error: Missing type parameters for generic type "type"  [type-arg]
- src/arti/internal/type_hints.py:54: error: Non-overlapping identity check (left operand type: "type", right operand type: "<typing special form>")  [comparison-overlap]
+ src/arti/internal/type_hints.py:54: error: Non-overlapping identity check (left operand type: "type[Any]", right operand type: "<typing special form>")  [comparison-overlap]
- src/arti/internal/type_hints.py:55: error: Non-overlapping identity check (left operand type: "type", right operand type: "<typing special form>")  [comparison-overlap]
+ src/arti/internal/type_hints.py:55: error: Non-overlapping identity check (left operand type: "type[Any]", right operand type: "<typing special form>")  [comparison-overlap]
+ src/arti/internal/type_hints.py:93: error: Missing type parameters for generic type "type"  [type-arg]
- src/arti/internal/type_hints.py:104: error: Returning Any from function declared to return "tuple[type, ...]"  [no-any-return]
+ src/arti/internal/type_hints.py:104: error: Returning Any from function declared to return "tuple[type[Any], ...]"  [no-any-return]
+ src/arti/internal/type_hints.py:105: error: Unused "type: ignore" comment  [unused-ignore]
+ src/arti/internal/type_hints.py:166: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/internal/dispatch.py:60: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/versions/__init__.py:68: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/views/__init__.py:27: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/views/__init__.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ src/arti/producers/__init__.py:232: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/arti/views/test_views.py:14: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/arti/internal/test_type_hints.py:79: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/arti/internal/test_type_hints.py:132: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/arti/internal/test_type_hints.py:164: error: Missing type parameters for generic type "type"  [type-arg]

pywin32 (https://github.com/mhammond/pywin32)
+ win32/Lib/win32timezone.py:261:31: error: Missing type parameters for generic type "type"  [type-arg]

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/ext/autodoc/mock.py: note: In member "__mro_entries__" of class "_MockObject":
+ sphinx/ext/autodoc/mock.py:55:64: error: Missing type parameters for generic type "type"  [type-arg]
+ sphinx/domains/std/__init__.py: note: In function "get_enumerable_node_type":
+ sphinx/domains/std/__init__.py:1133:43: error: Missing type parameters for generic type "type"  [type-arg]

bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/util/serialization.py: note: In function "_compute_datetime_types":
+ src/bokeh/util/serialization.py:54:38: error: Missing type parameters for generic type "type"  [type-arg]

streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/type_util.py: note: In function "get_fqn":
+ lib/streamlit/type_util.py:120:23: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/type_util.py: note: At top level:
+ lib/streamlit/type_util.py:130:32: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/config_option.py: note: In member "__init__" of class "ConfigOption":
+ lib/streamlit/config_option.py:109:16: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/config.py: note: In function "_create_option":
+ lib/streamlit/config.py:212:12: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/elements/write.py: note: In member "write" of class "WriteMixin":
+ lib/streamlit/elements/write.py:497:30: error: Redundant cast to "Type[Any]"  [redundant-cast]
+ lib/streamlit/elements/write.py:497:35: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/streamlit/delta_generator.py: note: In member "_block" of class "DeltaGenerator":
+ lib/streamlit/delta_generator.py:505:18: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/tests/streamlit/data_test_cases.py:79:20: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/tests/streamlit/data_test_cases.py: note: In class "CaseMetadata":
+ lib/tests/streamlit/data_test_cases.py:79:20: error: Missing type parameters for generic type "type"  [type-arg]
+ lib/tests/streamlit/data_test_cases.py: note: At top level:

mypy (https://github.com/python/mypy)
+ mypy/nodes.py:3512: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/nodes.py:3512: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-arg for more info
+ mypy/fastparse.py:387: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubutil.py:314: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:761: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:772: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:784: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/stubgenc.py:791: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/messages.py:2116: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:316: error: Missing type parameters for generic type "type"  [type-arg]
+ mypy/test/helpers.py:323: error: Missing type parameters for generic type "type"  [type-arg]

xarray (https://github.com/pydata/xarray)
+ xarray/namedarray/_typing.py: note: In member "__array_function__" of class "_arrayfunction":
+ xarray/namedarray/_typing.py:182: error: Missing type parameters for generic type "type"  [type-arg]

spark (https://github.com/apache/spark)
+ python/pyspark/sql/worker/analyze_udtf.py:132: error: Unused "type: ignore" comment  [unused-ignore]
+ python/pyspark/sql/worker/analyze_udtf.py:147: error: Unused "type: ignore" comment  [unused-ignore]

beartype (https://github.com/beartype/beartype)
+ beartype/_util/api/external/utilnumpy.py:176: error: Unused "type: ignore" comment  [unused-ignore]
+ beartype/_check/forward/reference/fwdrefabc.py:220: error: Argument "type_bases" to "_make_forwardref_subtype" has incompatible type "tuple[Callable[[VarArg(Any), KwArg(Any)], Never]]"; expected "tuple[type[Any], ...]"  [arg-type]
+ beartype/_check/forward/reference/fwdrefmake.py:94: error: Argument "type_bases" to "_make_forwardref_subtype" has incompatible type "tuple[Callable[[VarArg(Any), KwArg(Any)], Never]]"; expected "tuple[type[Any], ...]"  [arg-type]

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/python_codegen_support.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/python_codegen_support.py:440:34: error: Missing type parameters for generic type "type"  [type-arg]
+ schema_salad/metaschema.py: note: In member "__init__" of class "_PrimitiveLoader":
+ schema_salad/metaschema.py:443:34: error: Missing type parameters for generic type "type"  [type-arg]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
+ src/hydra_zen/funcs.py:102: error: "Any" not callable  [misc]
- src/hydra_zen/structured_configs/_implementations.py:2833: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type, Field[Any]]"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2833: error: Argument 1 to "append" of "list" has incompatible type "tuple[str, Any]"; expected "tuple[str, type[Any], Field[Any]]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:2921: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type"  [arg-type]
+ src/hydra_zen/structured_configs/_implementations.py:2921: error: Argument "type_" to "_retain_type_info" has incompatible type "str | Any"; expected "type[Any]"  [arg-type]
- src/hydra_zen/structured_configs/_implementations.py:3238: error: List comprehension has incompatible type List[tuple[str, Any | <typing special form>, Any | Field[Any]]]; expected List[tuple[str, type] | tuple[str, type, Any]]  [misc]
+ src/hydra_zen/structured_configs/_implementations.py:3238: error: List comprehension has incompatible type List[tuple[str, Any | <typing special form>, Any | Field[Any]]]; expected List[tuple[str, type[Any]] | tuple[str, type[Any], Any]]  [misc]

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/compat.py:106: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:267: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/mark/structures.py:365: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:176: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/fixtures.py:1470: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:115: error: Missing type parameters for generic type "type"  [type-arg]
+ src/_pytest/unittest.py:171: error: Missing type parameters for generic type "type"  [type-arg]

rich (https://github.com/Textualize/rich)
+ rich/protocol.py:30: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:162: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/pretty.py:379: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/abc.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/_inspect.py:236: error: Missing type parameters for generic type "type"  [type-arg]
+ rich/prompt.py:44: error: Missing type parameters for generic type "type"  [type-arg]

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/__init__.py:40: error: Unused "type: ignore" comment  [unused-ignore]
+ tests/__init__.py:58: error: Unused "type: ignore" comment  [unused-ignore]

trio (https://github.com/python-trio/trio)
+ src/trio/_tests/test_exports.py:83: error: Missing type parameters for generic type "type"  [type-arg]

steam.py (https://github.com/Gobot1234/steam.py)
- steam/id.py:237: error: Need type annotation for "__class_getitem__"  [var-annotated]

discord.py (https://github.com/Rapptz/discord.py)
- discord/utils.py:745: error: "type" has no attribute "__slots__"  [attr-defined]

pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/aglib/dynamic.py: note: In class "CStruct":
+ pwndbg/aglib/dynamic.py:629: error: Missing type parameters for generic type "type"  [type-arg]
+ pwndbg/aglib/dynamic.py: note: In member "__init__" of class "CStruct":
+ pwndbg/aglib/dynamic.py:751: error: Missing type parameters for generic type "type"  [type-arg]

jax (https://github.com/google/jax)
+ jax/_src/dtypes.py:363: error: Unused "type: ignore" comment  [unused-ignore]
+ jax/_src/dtypes.py:364: error: Unused "type: ignore" comment  [unused-ignore]

ibis (https://github.com/ibis-project/ibis)
- ibis/expr/operations/udf.py:155: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type, ...]"  [arg-type]
+ ibis/expr/operations/udf.py:155: error: Argument 2 to "type" has incompatible type "tuple[Callable[[_UDF], type[B]]]"; expected "tuple[type[Any], ...]"  [arg-type]
- ibis/expr/operations/core.py:45: note:          def __coerce__(cls, value: Any, T: type | None = ..., S: type | None = ...) -> Value[T, S]
+ ibis/expr/operations/core.py:45: note:          def __coerce__(cls, value: Any, T: type[Any] | None = ..., S: type[Any] | None = ...) -> Value[T, S]

core (https://github.com/home-assistant/core)
+ homeassistant/helpers/deprecation.py:374: error: Missing type parameters for generic type "type"  [type-arg]
+ homeassistant/helpers/entity.py:286: error: Missing type parameters for generic type "type"  [type-arg]
+ homeassistant/helpers/entity.py:301: error: Missing type parameters for generic type "type"  [type-arg]

kornia (https://github.com/kornia/kornia)
+ kornia/contrib/models/efficient_vit/nn/norm.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ kornia/core/check.py:121: error: Missing type parameters for generic type "type"  [type-arg]

werkzeug (https://github.com/pallets/werkzeug)
+ src/werkzeug/debug/repr.py:84: error: Missing type parameters for generic type "type"  [type-arg]
+ src/werkzeug/debug/repr.py:98: error: Missing type parameters for generic type "type"  [type-arg]
+ src/werkzeug/_internal.py:150: error: Missing type parameters for generic type "type"  [type-arg]
+ src/werkzeug/_internal.py:154: error: Missing type parameters for generic type "type"  [type-arg]
+ src/werkzeug/_internal.py:157: error: Missing type parameters for generic type "type"  [type-arg]
+ src/werkzeug/local.py:310: error: Missing type parameters for generic type "type"  [type-arg]
+ src/werkzeug/middleware/lint.py:41: error: Missing type parameters for generic type "type"  [type-arg]

graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/ast.py:426: error: Unused "type: ignore" comment  [unused-ignore]

antidote (https://github.com/Finistere/antidote)
+ src/antidote/_internal/typing.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/_internal/typing.py:41: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/_internal/typing.py:42: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/_internal/typing.py:49: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/_internal/typing.py:53: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/_internal/typing.py:59: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/exceptions.py:77: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/exceptions.py:88: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/data.py:218: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/_raw/wrapper.py:70: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/_raw/wrapper.py:96: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/_raw/wrapper.py:114: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/_raw/wrapper.py:130: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/_raw/wrapper.py:148: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/wiring.py:29: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/wiring.py:163: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/_wiring.py:21: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/_scope.py:65: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/_inject.py:49: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/__init__.py:1308: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/__init__.py:1312: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/__init__.py:1316: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/core/__init__.py:1319: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/lazy_ext/_provider.py:122: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/injectable_ext/_provider.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/lazy_ext/_lazy.py:285: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/lazy_ext/_lazy.py:345: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/lazy_ext/_const.py:173: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/injectable_ext/_internal.py:9: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/injectable_ext/_internal.py:16: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/injectable_ext/_internal.py:26: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/injectable_ext/_internal.py:34: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/injectable_ext/_internal.py:36: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/lazy_ext/__init__.py:607: error: Missing type parameters for generic type "type"  [type-arg]
+ src/antidote/lib/interface_ext/_interface.py:583: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/internal/test_utils.py:60: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/core/test_wiring.py:24: error: Missing type parameters for generic type "type"  [type-arg]
+ tests/core/test_wiring.py:59: error: Missing type parameters for generic type "type"  [type-arg]

Nov 03 '24 05:11 github-actions[bot]