Make const eval return normalized ty - #160526

Merged

rust-bors[bot] merged 6 commits into

rust-lang:mainfrom

bit-aloo:2026-08-04-const-eval-normalized-ty-return

Aug 19, 2026

Commits on Aug 18, 2026

Add a normalize_ty callback to try_evaluate_const
bit-aloo
committed
2d60e51
Normalize the type of evaluated consts in the new solver
bit-aloo
committed
50ea65b
Add regression test for evaluated const with alias type
bit-aloo
committed
89472f4
Remove explicit debug impl and other misc
bit-aloo
committed
1c7f148
make sure to propagate even the NoSolution from ty normalization in current parent goal context
bit-aloo
committed
60ec532
Add test to observer where CTFE succeeds but normalization of type fails with NoSolution in parent goal context
bit-aloo
committed
4061647