Enable reportUnnecessaryTypeIgnoreComment in basedpyright#1395
Merged
nathanjmcdougall merged 1 commit intomainfrom Mar 12, 2026
Merged
reportUnnecessaryTypeIgnoreComment in basedpyright#1395