Auto merge of #106235 - compiler-errors:rework-bounds-collection, r=d…

…avidtwco

Rework `Bounds` collection

I think it's weird for the `Bounds` struct in astconv to store its predicates *almost* converted into real predicates... so we do this eagerly, instead of lazily.