match..case type narrowing question

[satya-waylit]

This is possibly not implemented yet or a bug. match..case can handle the second case without eliminating the None first. But pyrefly shows an error for dict matching.

dict_or_none: dict[str, Any] | None = {"a": "b"}

match dict_or_none:
    case None:
        pass
    case {"a": "b"}: # Object of class `NoneType` has no attribute `__getitem__`
        pass
    case _:
        pass

[yangdanny97]

Likely a bug, filed #2058