Fold item bounds before proving them in check_type_bounds in new solver#125786
Merged
bors merged 2 commits intorust-lang:masterfrom compiler-errors:fold-item-boundsMay 31, 2024
+557-144
check_type_bounds in new solver#125786