Fold item bounds before proving them in `check_type_bounds` in new solver#125786

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:fold-item-boundscompiler-errors/rust:fold-item-boundsCopy head branch name to clipboard