Repository navigation

[DO NOT MERGE] bootstrap with next solver enabled - #124812

Closed

lcnr wants to merge 18 commits into

rust-lang:masterfrom

lcnr:next-solver-bootstrap-hack

Commits on May 24, 2024

avoid non-defining uses in defining scope
lcnr
committed
d248a06
update winnowing
lcnr
committed
26ef6e1
add debug_assert to alias-relate
lcnr
committed
ba641d2
change selection test to run-pass
lcnr
committed
48af4e6
refactor analyse visitor to instantiate states in order
lcnr
committed
4df2802
eagerly normalize when adding goals
lcnr
committed
a21e2fb
add a normalizes-to fast path
lcnr
committed
87123f6
add fixme :(
lcnr
committed
46fa6ae
alias-relate: add fast reject optimization
lcnr
committed
45046f9
omg wtf

compiler-errors
authored and
lcnr
committed
c147f84
alias-relate: add fast reject optimization
lcnr
committed
4ab9f49
drop region constraints for ambiguous goals
lcnr
committed
72459fd
add a regression test
lcnr
committed
8bcd046
increase recursion limit
lcnr
committed
25140e5
itertools, use git repo
lcnr
committed
d96714b
enable new solver everywhere
lcnr
committed
ced92ab
Revert "core: use `Copy` in TAIT to fix clippy lint"
lcnr
committed
bb557f5
Revert "core: actually use TAIT instead of emulating it"
lcnr
committed
18a413a