Skip to content

Misc improvements to non local defs lint implementation - #121813

Merged
bors merged 4 commits into
rust-lang:masterfrom
Urgau:misc-non_local_defs-lint
Mar 9, 2024
Merged

Misc improvements to non local defs lint implementation#121813
bors merged 4 commits into
rust-lang:masterfrom
Urgau:misc-non_local_defs-lint

Commits

Commits on Mar 7, 2024