[beta] backports - #123801

Merged

bors merged 7 commits into

rust-lang:betafrom

cuviper:beta-next

Apr 12, 2024

Commits on Apr 11, 2024

fix attribute validation on associated items in traits

nikolaevx
authored and
cuviper
committed
e9f44b3
Add regression test

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

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

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

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

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

ChrisDenton
authored and
cuviper
committed
3e37631