Python 中允许还是禁止具有协变参数的方法？

Question

from typing import Generic, TypeVar

T_co = TypeVar('T_co', covariant=True)

class CovariantClass(Generic[T_co]):
    def get_t(self, t: T_co) -> T_co:  # <--- Mypy: cannot use a covariant type variable as a parameter
        return t

请参阅 已关闭的 mypy 问题

我对 PEP 的阅读 484 和 483 是协变函数 被禁止，但协变方法是允许的，并且 mypy 对其进行标记是“错误的”。也就是说，如果作者声明该类为协变，那么他们有责任确保该类中的任何协变方法表现良好（例如，不附加到协​​变项的集合） 。

来自 PEP 484：

考虑一个带有子类 Manager 的 Employee 类。现在假设我们有一个函数，其参数用 List[Employee] 注释。我们是否应该被允许使用 List[Manager] 类型的变量作为参数来调用这个函数？许多人会回答“是的，当然”，甚至不考虑后果。但除非我们更多地了解该函数，否则类型检查器应该拒绝这样的调用：该函数可能会将 Employee 实例追加到列表中，这将违反调用者中变量的类型。

事实证明，这样的参数是逆变的，而直观的答案（如果函数不改变它的参数，这是正确的！）要求参数是协变的。

...

协变或逆变不是类型变量的属性，而是使用该变量定义的泛型类的属性。方差仅适用于泛型类型；泛型函数没有这个属性。后者应该仅使用没有协变或逆变关键字参数的类型变量来定义。

然后它给出了带有协变参数的禁止函数的示例。

同样来自 PEP 483 作为反对在已关闭的 mypy 问题中提出的论点的证据，即禁止保持 python 类型安全（强调与 PEP 中一样）：

可以声明用户定义的泛型类型的差异

PEP 484 包含一个在 __init__ 中带有协变参数的类，但我在 PEP 中找不到任何示例方法中的协变参数，表明它是明确允许或禁止的。

T_co = TypeVar('T_co', covariant=True)
class ImmutableList(Generic[T_co]):
    def __init__(self, items: Iterable[T_co]) -> None: ...
    def __iter__(self) -> Iterator[T_co]: ...
    ...

编辑1：按照评论中的要求，说明这可能有用的简单示例。上述课程中来自 PEP 的额外方法：

    def is_member(self, item: T_co) -> bool:
        return item in self._items

编辑 2：另一个例子，以防第一个看起来很学术

    def k_nearest_neighbours(self, target_item: T_co, k: int) -> list[T_co]:
        nearest: list[T_co] = []
        distances: list[float] = [item.distance_metric(target_item)
                                  for item in self._items]
        ...
        return nearest