Narrowing lost after excluding the only None case

May 13, 2026 · #3374
View on GitHub
Rust Difficulty: Easy

Labels

typechecking narrowing

Parent Repository

facebook/pyrefly

Rust repository

5,812 332
All Issues Back to pyrefly

Sign in required

Authenticate to use favourites & bookmarks

5