Bad error message while checking subclass of generic classes

Bug Report

mypy command on a misspecified subclass of a generic class returns a pretty confusing error message (As per issue #8696)

To Reproduce

1. Create a script containing this snippet:

from abc import ABC, abstractmethod
from typing import TypeVar, Iterable, Iterator

T = TypeVar('T')


class MyABC(ABC):

    @property
    @abstractmethod
    def items(self) -> Iterable[T]: ...

    def my_method(self) -> Iterator[T]:
        for item in self.items:
            yield item

2. Run mypy on the created script

Expected Behavior

Since MyABC should inherit also from Generic[T] I'd expect that the error message would return something on the line of:

error: Incompatible types in "yield". The class should inherit from "Generic[T]"

Actual Behavior

The actual error message is:

error: Incompatible types in "yield" (actual type "T", expected type "T")

Environment

• Mypy version used: 0.910
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): default
• Python version used: 3.6.5
• Operating system and version: MacOS BigSur 11.5.2

まず issue 内の最小スクリプトに対して mypy を実行し、紛らわしい yield の診断を確認します。リポジトリのファイル名やテスト名は示されていないため、mypy コマンドのエントリポイントから診断を追跡し、その後、誤って指定されたジェネリックサブクラスが、欠落している Generic[T] の継承を特定する実用的なメッセージを生成することを確認します。