Skip to content

Allow unnormalized types in drop elaboration#148719

Merged
bors merged 1 commit intorust-lang:mainfrom
Nadrieril:poly-drop-glue
Nov 21, 2025
Merged

Allow unnormalized types in drop elaboration#148719
bors merged 1 commit intorust-lang:mainfrom
Nadrieril:poly-drop-glue

Commits

Commits on Nov 9, 2025