Matthew's work on improving NLL's "higher-ranked subtype error"s#86700

Merged

bors merged 13 commits intorust-lang:masterfrom

lqd:matthews-nll-hrtb-errors

Aug 18, 2021

Commits on Aug 15, 2021

Remove unused Option from NllTypeRelatingDelegate

matthewjasper
authored and
lqd
committed
Show bound lifetimes when comparing types in diagnostics

matthewjasper
authored and
lqd
committed
Return the canonicalized query from type ops

matthewjasper
authored and
lqd
committed
Simplify BoundUniversalRegionError

matthewjasper
authored and
lqd
committed
Track causes for universes created during borrowck

matthewjasper
authored and
lqd
committed
Report mismatched type errors for bound region errors in NLL

matthewjasper
authored and
lqd
committed
Report nicer errors for HRTB NLL errors from queries

matthewjasper
authored and
lqd
committed
Fix dyn trait warning
lqd
committed
Slight cleanup
lqd
committed
don't derive `Copy` for `RegionElement`
lqd
committed
De-dupe NLL HRTB diagnostics' use of `type_op_prove_predicate`
lqd
committed

Commits on Aug 16, 2021

fix typo in bound_region_errors.rs

lqd
and
matthewjasper
authored

Commits on Aug 18, 2021

add fixme about the `type_op_normalize` query in NLL HRTB diagnostics
lqd
committed