[beta] backports#123801

Merged

bors merged 7 commits intorust-lang:betafrom

cuviper:beta-next

Apr 12, 2024

Commits on Apr 11, 2024

fix attribute validation on associated items in traits

gvozdvmozgu
authored and
cuviper
committed
Add regression test

oli-obk
authored and
cuviper
committed
Only inspect user-written predicates for privacy concerns

oli-obk
authored and
cuviper
committed
Check def id before calling match_projection_projections

compiler-errors
authored and
cuviper
committed
add non-regression test for issue 123275

lqd
authored and
cuviper
committed
Revert "remove `pred_known_to_hold_modulo_regions`"

lqd
authored and
cuviper
committed
Beta revert "Use OS thread name by default"

ChrisDenton
authored and
cuviper
committed