(🎁) Narrow type based on method return type of union

I would expect the type of either to be narrowed to Maybe in the if block.

from typing import Literal

class Maybe:
    def should(self) -> bool:
        ...


class No:
    def should(self) -> Literal[False]:
        ...


no: No

if no.should():
    reveal_type(no)  # error: unreachable

either: Maybe | No

if either.should():
    reveal_type(either)   # Maybe | No

実装ファイルやテストは指定されていません。まず、提供された再現コードを mypy で実行し、メソッドベースの型ナローイングに関する既存のテストを探してください。if either.should() 分岐で either が Maybe として認識され、示されている No の動作が維持されれば完了です。