TypeVar constraint type cannot be generic

[nrbnlulu]

Describe the bug
pyright: "TypeVar constraint type cannot be generic"

Code or Screenshots

from collections.abc import Hashable
from typing import Protocol


class HasIDField[K: Hashable](Protocol):
	id: K

	def __hash__(self) -> int: ...


class Repository[K: Hashable, T: HasIDField[K]](Protocol):
	data: list[T]

	def get(self, key: K) -> T | None:
		return next((v for v in self.data if v.id == key), None)

VS Code extension or command-line
pyright 1.1.360

Is this a bug or a wanted behaviour? (seems quite reasonable to me...)

[randolf-scholz]

This is a limitation of the current type system, see python/typing#548 and https://github.com/nekitdev/peps/blob/main/peps/pep-9999.rst