Eagerly normalize in generalize #151746
Merged
Eagerly normalize in generalize #151746
rust-bors / Bors auto build
succeeded
Mar 20, 2026 in 3h 8m 37s
Bors auto build
Loading