Assert that `explicit_super_predicates_of` and `explicit_item_super_predicates` truly only contains bounds for the type itself#130666

Merged

bors merged 2 commits intorust-lang:masterfrom

compiler-errors:super-bounds

Sep 22, 2024

Commits on Sep 21, 2024

Assert that explicit_super_predicates_of and explicit_item_bounds truly only bounds for the type itself
compiler-errors
committed
Don't elaborate effects predicates into bounds list unless we're actually collecting implied bounds, not super bounds
compiler-errors
committed