Use an 'approximate' universal upper bound when reporting region errors#73806

Merged

bors merged 1 commit intorust-lang:masterfrom

Aaron1011:feature/approx-universal-upper

Jul 1, 2020

Commits on Jun 27, 2020

Use an 'approximate' universal upper bound when reporting region errors
Aaron1011
committed