Rollup of 9 pull requests#114585

Merged

bors merged 22 commits intorust-lang:masterfrom

matthiaskrgr:rollup-h26pvus

Aug 7, 2023

Commits on Jul 11, 2023

fix spurious test failure with panic=abort
pietroalbini
committed

Commits on Jul 29, 2023

Bubble up nested goals from equation in predicates_for_object_candidate
compiler-errors
committed

Commits on Aug 5, 2023

Commits on Aug 7, 2023