In which we implement illegal subset relations errors using Polonius - #67016

Merged

bors merged 10 commits into

rust-lang:masterfrom

lqd:placeholder_loans

Dec 9, 2019

Commits on Dec 6, 2019

update to polonius 0.11 to compute subset errors
lqd
committed
479cc7a
Add a way to list the base non-transitive edges in `TransitiveRelation`
lqd
committed
4b16ae1
UniversalRegionRelations: add a way to list the base non-transitive `outlives` constraints
lqd
committed
4dd6292
Polonius: emit `placeholder` and `known_subset` facts, as inputs to the subset error computation
lqd
committed
7a3dca6
Implement subset errors using Polonius
lqd
committed
02a6662
bless polonius output of test hrtb-perfect-forwarding.rs
lqd
committed
67b04d5
bless polonius output of test ui/nll/outlives-suggestion-simple.rs
lqd
committed
6956408
bless polonius output due to lacking the 'static special-casing
lqd
committed
720716f
appease the vociferous tidy
lqd
committed
e2230a4
add subset relations test using polonius
lqd
committed
1314ba3