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