Confusing error message: List item 0 has incompatible type "Type[Linear]"; expected "Type[Linear]"

Bug Report

In some situations, mypy can report that there was an incompatible type X, but then say that the expected type was also X. Regardless of whether or not the program is correct or not, this error message is bad.

To Reproduce

from typing import Any
        
class Linear:
    def __init__(self, **kwargs) -> None:
        pass

class QatLinear(Linear):
    def __init__(self, qconfig=None):
        pass

def f(x: Any):
    if type(x) in [Linear, QatLinear]:
        pass

Expected Behavior mypy gives me a good error message

Actual Behavior

(base) ezyang-mbp:~ ezyang$ mypy t.py
t.py:12: error: List item 0 has incompatible type "Type[Linear]"; expected "Type[Linear]"
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: mypy 0.780
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: Python 3.7
• Operating system and version: OS X

まず、報告された mypy バージョンまたは現在の checkout で、提供された Python 再現プログラムを実行し、次に、リスト項目の非互換性に関する診断をフォーマットする型チェッカーの経路を追跡します。再現したケースで、表示上同一の型が非互換として報告されなくなり、その診断に対するリグレッションカバレッジが追加されれば完了です。