Do not remove identity mapping if mandatory mutability would be lost#13905
Merged
Alexendoo merged 1 commit intorust-lang:masterfrom Jan 7, 2025
Merged
Do not remove identity mapping if mandatory mutability would be lost#13905Alexendoo merged 1 commit intorust-lang:masterfrom
Alexendoo merged 1 commit intorust-lang:masterfrom