Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't lint during
SuggestedFixes#compilesWithFix
Under certain circumstances this avoids triggering a compiler bug. It is also expected to speed up the trial compilation somewhat. The implicit assumption here is that it is okay to suggest a fix which introduces another warning. (This may not be so in general, but the introduced warning may be less severe or may be resolved manually.) See google#849.
- Loading branch information