Skip to content

Narrowing in an else branch ends with the branch - #377

Merged
ASDAlexander77 merged 1 commit into
mainfrom
fix-else-narrowing-scope
Sep 27, 2026
Merged

ASDAlexander77 merged 1 commit into
mainfrom
fix-else-narrowing-scope

Commits

  1. Commits on Sep 27, 2026