Skip to content

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-bounds
May 31, 2024

Commits

Commits on May 30, 2024