[DO NOT MERGE] `-Znext-solver=globally` experiments #133502

Draft

lcnr wants to merge 6 commits into

rust-lang:mainfrom

Commits on Jul 17, 2026

enable `-Znext-solver` by default

lcnr
authored and
adwinwhite
committed
emit a fatal error for `generic_const_exprs`

compiler-errors
authored and
adwinwhite
committed
double recursion limit for next-solver

lcnr
authored and
adwinwhite
committed
when bailing on ambiguity, don't force other results to ambig

lcnr
authored and
adwinwhite
committed
stepping into `NormalizesTo` where-clauses may be productive

lcnr
authored and
adwinwhite
committed
do not mark const aliases as rigid in param env
adwinwhite
committed