pyrefly-pre-commit

If you migrate from pyrefly to pyright for pre-commit, it's very easy to accidentally turn off type checking for some directories. Here's a toy set-up, based on the set-up of a real-world project (pytorch/helion). Essentially, my project has two directories, and , and the type-checking config says to check only : Here's the contents of : And the contents of : Running either or inside produces the same behavior: is checked. However, running causes to check all files as specified, including the contents of . Pyrefly still checks only .