Skip to content

Use ReEmpty(U0) as the implicit region bound in typeck#74509

Merged
bors merged 1 commit intorust-lang:masterfrom
matthewjasper:empty-verify
Jul 23, 2020
Merged

Use `ReEmpty(U0)` as the implicit region bound in typeck#74509
bors merged 1 commit intorust-lang:masterfrom
matthewjasper:empty-verify

Commits

Commits on Jul 20, 2020