Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I do not think this handled the solution surgically, it seems to force losing safety for the rule across a *whole file* rather than surgically at the offending line. See also: python/mypy#12076, python/mypy#13512
- Loading branch information