Skip to content

Preserve missing local definitions when other branches end in expressions - #5323

Closed
asukaminato0721 wants to merge 1 commit into
facebook:mainfrom
asukaminato0721:fix-local-missing-path-termination
Closed

Preserve missing local definitions when other branches end in expressions#5323
asukaminato0721 wants to merge 1 commit into
facebook:mainfrom
asukaminato0721:fix-local-missing-path-termination

Check termination evidence only on paths missing a local

fc59727
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Run mypy_primer (1)
succeeded Oct 22, 2026 in 19m 56s