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

+102-10

Commits on Jul 20, 2020

Use ReEmpty(U0) as the implicit region bound in typeck
matthewjasper
committed