generic fails to narrow, something to do with using `NoReturn` on contravariant generic

from typing import Generic, Mapping, NoReturn, Sequence, TypeVar

T = TypeVar("T", contravariant=True)


class Foo(Generic[T]):
    ...


foo = Foo[int]()
bar = Foo[str]()

a1: Sequence[Foo[NoReturn]] = [foo]  # no error
a2: Sequence[Foo[NoReturn]] = [bar]  # no error

# error (this one seemed to be fixed around commit 32448b88370f8327c390f4e21666065c87ca95e2, then broken again)
a3: Sequence[Foo[NoReturn]] = [foo, bar]

a4: Sequence[Foo[NoReturn]] = [foo] or [bar]  # error

a5: Mapping[str, Sequence[Foo[NoReturn]]] = {  # error
    "foo": [foo],
    "bar": [],  # error goes away if you change this to [foo]
}

a6: Sequence[Sequence[Foo[NoReturn]]] = [[foo], []]  # error

https://mypy-play.net/?mypy=latest&python=3.10&gist=175deca029e02ea95af74f7c4a02856c

まず、リンク先の mypy-play の再現コードにある 6 つの例を実行し、現在の診断結果を記録してください。特に a3–a6 を確認します。履歴上のコンテキストとして、動作を commit 32448b88370f8327c390f4e21666065c87ca95e2 と比較してください。同等の Foo[NoReturn] 構成に対する不整合なエラーが、新しいエラーを導入することなく解消されれば完了です。