`--remove-unused-ignores` inserts whitespace in existing `# type:ignore` comments

May 12, 2026 · #3369
View on GitHub
Rust Difficulty: Easy

Labels

quansight

Parent Repository

facebook/pyrefly

Rust repository

5,812 332
All Issues Back to pyrefly

Sign in required

Authenticate to use favourites & bookmarks

5