Fixed a bug that leads to incorrect (unsound) type narrowing when usi…#9868

Merged

erictraut merged 1 commit intomainfrom issue-9338

Feb 10, 2025

+184-106

Commits on Feb 10, 2025

Fixed a bug that leads to incorrect (unsound) type narrowing when using the x in y type guard pattern. The in operator uses equality checks, and __eq__ can succeed for objects of disjoint typ…
erictraut
committed