Skip to content

Rename {drop,forget}_{copy,ref} lints to more consistent naming#111756

Merged
bors merged 4 commits into
rust-lang:masterfrom
Urgau:rename_drop_forget_copy_ref_lints
May 22, 2023
Merged

Rename {drop,forget}_{copy,ref} lints to more consistent naming#111756
bors merged 4 commits into
rust-lang:masterfrom
Urgau:rename_drop_forget_copy_ref_lints

Rename `forget_ref` lint to `forgetting_references`

6b08a74
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs