Skip to content

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

Merged
bors merged 4 commits intorust-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 intorust-lang:masterfrom
Urgau:rename_drop_forget_copy_ref_lints

Commits