[beta] backports#117764

Merged

bors merged 11 commits intorust-lang:betafrom cuviper:beta-next

Nov 10, 2023

+307-183

Commits on Nov 9, 2023

remove outdated comment

lcnr
authored and
cuviper
committed
dropck_outlives check generator witness needs_drop

lcnr
authored and
cuviper
committed
only erase param env regions where needed

lcnr
authored and
cuviper
committed
review + add tests

lcnr
authored and
cuviper
committed
Make sure that predicates with unmentioned bound vars are still considered global in the old solver

compiler-errors
authored and
cuviper
committed
check binders with bound vars for global bounds that don't hold

lqd
authored and
cuviper
committed
add test for trivial bound not holding in soa-derive

lqd
authored and
cuviper
committed
instrument constituent types computation

lcnr
authored and
cuviper
committed
generator layout: ignore fake borrows

lcnr
authored and
cuviper
committed
rename BorrowKind::Shallow to Fake

lcnr
authored and
cuviper
committed
update mir-opt tests

lcnr
authored and
cuviper
committed