(🎁) 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

Không có tệp triển khai hoặc bài kiểm thử nào được nêu tên. Hãy bắt đầu bằng cách chạy reproducer được cung cấp qua mypy và tìm các bài kiểm thử hiện có cho việc thu hẹp kiểu dựa trên phương thức. Công việc được xem là hoàn tất khi nhánh if either.should() cho thấy either là Maybe đồng thời giữ nguyên hành vi No đã được minh họa.