[Refactor] Rename Lint and LintGroup's is_loaded to is_externally_loaded #124522
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 29, 2024
Merged
[Refactor] Rename Lint and LintGroup's is_loaded to is_externally_loaded #124522bors merged 1 commit intorust-lang:masterfrom
Lint and LintGroup's is_loaded to is_externally_loaded #124522bors merged 1 commit intorust-lang:masterfrom