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

Draft

lcnr wants to merge 9 commits intorust-lang:masterfrom

Commits on Apr 17, 2025

Don't assemble non-env/bound candidates if projection is rigid

compiler-errors
authored and
lcnr
committed
support revealing uses of opaque types
lcnr
committed
Collect and resolve ambiguous obligations from normalizing in writeback

compiler-errors
authored and
lcnr
committed
Properly drain pending obligations for coroutines

compiler-errors
authored and
lcnr
committed
Eagerly instantiate coroutine witness in new solver

compiler-errors
authored and
lcnr
committed
add alias-relate fast path optimization
lcnr
committed
i hate this :<
lcnr
committed
enable new solver everywhere
lcnr
committed
recursion_limit times 2? xd
lcnr
committed