AliasRelate: don't discard constraints on overflow#148069

lcnr wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:alias-relate-no-discard-constraintslcnr/rust:alias-relate-no-discard-constraintsCopy head branch name to clipboard