TypeIs and TypeGuard fail to narrow type[C]

Bug Report

A TypeIs/TypeGuard function fails to narrow a type[A] expression. A plain if guard block treats the branch as unreachable instead. A comprehension filter keeps the unnarrowed type instead.

To Reproduce

from typing_extensions import TypeIs

class A: ...
class M: ...
class C(M, A): ...

def is_m(t: type) -> TypeIs[type[M]]:
    return issubclass(t, M)

cls: type[A] = C
if is_m(cls):
    reveal_type(cls)

Expected Behavior

reveal_type(cls) reports type[<subclass of "A" and "M">].

Actual Behavior

Success: no issues found in 1 source file

No reveal_type note at all -- the branch is silently treated as unreachable.

Second repro (comprehension)

from typing import Type
from typing_extensions import TypeIs

class A: ...
class M: ...
class B(A): ...
class C(M, A): ...

def is_m(t: type) -> TypeIs[Type[M]]:
    return issubclass(t, M)

alist: list[Type[A]] = [B, C]
mlist: list[Type[M]] = [cls for cls in alist if is_m(cls)]
reveal_type(mlist)

Expected Behavior

No error, mlist is list[type[M]].

Actual Behavior

error: List comprehension has incompatible type List[type[A]]; expected List[type[M]]  [misc]

Environment

• Mypy version used: mypy 2.2.0+dev (main branch)
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): nothing special
• Python version used: 3.12

プロジェクトファイルもテストも指定されていません。まず、型の絞り込みに関するテストと実装から、TypeIs、TypeGuard、条件分岐、内包表記のフィルターを検索し、その後、mypy で両方の再現を実行してください。1 つ目の reveal_type が期待される交差型を報告し、2 つ目がエラーなしで list[type[M]] を推論すれば完了です。