move implied bounds computation out of borrowck - #160491

Open

lcnr wants to merge 6 commits into

rust-lang:mainfrom

lcnr:implied-bounds-opaque

Commits on Aug 3, 2026

make `DefiningTy` independent of borrowck
lcnr
committed
9ff75a7

Commits on Aug 4, 2026

cleanup `DefiningTy::new`
lcnr
committed
c0bd2ec
make the c_variadic region late bound
lcnr
committed
cb29ba5
move implied bounds computation out of borrowck
lcnr
committed
c52f9d8
fix implied bound computation for nested bodies
lcnr
committed
a33a361
move compute implied bounds into sub-fn
lcnr
committed
9151a02