Skip to content

Allow unnormalized types in drop elaboration#148719

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

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

Allow unnormalized types in drop elaboration

b476969
Select commit
Loading
Failed to load commit list.
Sign in for the full log view