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

Draft

lcnr wants to merge 4 commits into

rust-lang:mainfrom

Commits on Jul 27, 2026

fix: lowering of resolved const inference variables

amirHdev
authored and
lcnr
committed
tests: add regression test for issue 159894

amirHdev
authored and
lcnr
committed
tests: use explicit dyn trait object

amirHdev
authored and
lcnr
committed
enable `-Znext-solver` by default
lcnr
committed