Skip to content

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

Merged
bors merged 1 commit into
rust-lang:masterfrom
Aaron1011:feature/approx-universal-upper
Jul 1, 2020
Merged

bors merged 1 commit into
rust-lang:masterfrom
Aaron1011:feature/approx-universal-upper

Commits

Commits on Jun 27, 2020