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

Merged

bors merged 13 commits into

rust-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
5d52c0e
Show bound lifetimes when comparing types in diagnostics

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

matthewjasper
authored and
lqd
committed
4421dd1
Simplify BoundUniversalRegionError

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

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

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

matthewjasper
authored and
lqd
committed
d563a63
Fix dyn trait warning
lqd
committed
5cf6edb
Slight cleanup
lqd
committed
19dfea5
don't derive `Copy` for `RegionElement`
lqd
committed
a69c7cc
De-dupe NLL HRTB diagnostics' use of `type_op_prove_predicate`
lqd
committed
2cf4b87

Commits on Aug 16, 2021

fix typo in bound_region_errors.rs

lqd
and
matthewjasper
authored
311578d

Commits on Aug 18, 2021

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