feat: Add a new config to allow renaming of non-local defs#16391

Merged

bors merged 3 commits intorust-lang:masterfrom alibektas:15656/renaming_allowed_by_config

Jan 18, 2024

+77-29

Commits on Jan 17, 2024

Add a new config to allow renaming of non-local items
alibektas
committed

Commits on Jan 18, 2024