Add information to higher-ranked lifetimes conflicts error messages - #57901

Merged

bors merged 16 commits into

rust-lang:masterfrom

lqd:issue_57362

Jan 29, 2019

Commits on Jan 27, 2019

Make NiceRegionError use the `InferCtxt` instead of its `TyCtxt`
lqd
committed
c1437c9
Handle higher-ranked lifetime conflict errors where the subtype is the `sup` region
lqd
committed
a602826
Try to resolve type vars in the placeholder errors trait refs
lqd
committed
823c888
Try to reword placeholder error messages to make them clearer
lqd
committed
55389f9
Update two E308 tests to the new placeholder error
lqd
committed
ce61b1b
Update test expectations for new placeholder error messages
lqd
committed
a79f135
Test new placeholder error messages in previously untested combinations
lqd
committed
f5a74d4
break apart tests

nikomatsakis
authored and
lqd
committed
c5dea57
add a lot more `debug!` to `try_report_placeholders_trait`

nikomatsakis
authored and
lqd
committed
ab80162
identify when implemented for "some specific lifetime"

nikomatsakis
authored and
lqd
committed
ec6405b
comment the pattern

nikomatsakis
authored and
lqd
committed
790ed91
Fix issue-57362-1.rs attributes
lqd
committed
1730ad4
When mentioning lifetimes, put either the trait ref or the self type closer to the lifetimes
lqd
committed
489bc4a
Extract the notes explaining the placeholder region errors to a helper fn
lqd
committed
43c0518
Fix stray typo
lqd
committed
e077501

Commits on Jan 28, 2019

Refer to synthetically named lifetimes as "some specific lifetime" rather than "the specific lifetime"
lqd
committed
c97d135