generalize impl trait to permit multiple lifetime bounds - #61775

Merged

bors merged 68 commits into

rust-lang:masterfrom

nikomatsakis:issue-56238-multiple-lifetimes-async-fn-region-solver

Jul 3, 2019

Commits on Jul 2, 2019

opaque_types/mod.rs: rustfmt
nikomatsakis
committed
aab48c9
introduce `constrain_regions` helper
nikomatsakis
committed
2eb3fcc
introduce an "in" constraint instead of error
nikomatsakis
committed
14e23a5
lexical_region_resolve: rustfmt
nikomatsakis
committed
979f566
make `dup_vec` optional
nikomatsakis
committed
dfcd1c6
add some tests, currently ICE-ing
nikomatsakis
committed
c36205b
rename from "in constraint" to "pick constraint"
nikomatsakis
committed
02609b8
integrate pick constraints into lexical solver more completely
nikomatsakis
committed
f0eebcd
enforce and report pick-constraint errors
nikomatsakis
committed
d6ec0ae
rename `QueryRegionConstraint` to `QueryOutlivesConstraint`
nikomatsakis
committed
fd5f767
introduce `QueryRegionConstraints` struct (no-op)
nikomatsakis
committed
7e66a96
introduce `QueryRegionConstraints` struct
nikomatsakis
committed
09bba9b
rename `ConstraintIndex` to `OutlivesConstraintIndex`
nikomatsakis
committed
f673b24
remove deref impl and add an index impl
nikomatsakis
committed
ec560e2
pass a `&mut QueryRegionConstraints` not just outlives constraints
nikomatsakis
committed
f933e09
propagate the pick-constraints through queries
nikomatsakis
committed
ddc63ce
rename `ConstraintSet` to `OutlivesConstraintSet`
nikomatsakis
committed
6ead1c8
[WIP] fix `Lift` impl for `Rc`
nikomatsakis
committed
3aad20d
pass more than outlives constraints to constraint conversion
nikomatsakis
committed
330cb76
implement PickConstraintSet type
nikomatsakis
committed
d959669
construct pick-constraints and give them to region inference
nikomatsakis
committed
3b5a727
preliminary integration of "pick constraints" into nll solver
nikomatsakis
committed
ec48b4e
remove old error and add an explanation
nikomatsakis
committed
cc581bf
improve tests with migration mode, mir mode
nikomatsakis
committed
07ee532
implement the graph traits for SCC
nikomatsakis
committed
4e85665
introduce a `VecGraph` abstraction that cheaply stores graphs
nikomatsakis
committed
4c91bb9
add a `depth_first_search` helper function
nikomatsakis
committed
7fd0db7
integrate reverse graph and upper-bound computation
nikomatsakis
committed
8d39bdd
fix tests and remove outdated stderr files
nikomatsakis
committed
b5fb906
update the async-fn-multiple-lifetimes test
nikomatsakis
committed
2057136
add a FIXME related to the non-free-region case
nikomatsakis
committed
4de9960
explain why pick-constraints can be an empty vector
nikomatsakis
committed
2ea6094
remove outdated TODO markers
nikomatsakis
committed
4831146
pacify the mercilous tidy
nikomatsakis
committed
a18c779
add a preliminary existential test; not really enough
nikomatsakis
committed
b170c0f
test with explicit existential type
nikomatsakis
committed
e9de08a
add a `VecMap` data structure
nikomatsakis
committed
89a205b
just create a binary search slice helper fn
nikomatsakis
committed
3e01c74
account for the pick-constraint edges when reporting errors
nikomatsakis
committed
0b15a66
address nits by mattewjasper
nikomatsakis
committed
adba6a8
bless test output
nikomatsakis
committed
5d44beb
fix silly bugs in binary_search_util test
nikomatsakis
committed
fb2c997
switch to Lrc
nikomatsakis
committed
e6b6873
implement Lift for Arc
nikomatsakis
committed
e39f66a
rename to "member constraints"
nikomatsakis
committed
eca55b5
rename `pick_constraints.rs` to `member_constraints.rs`
nikomatsakis
committed
134fc4a
implement `TypeFoldable` for `Arc`
nikomatsakis
committed
cbc75c6
feature-gate member constraints outside of async-await
nikomatsakis
committed
74a6efb
Update src/doc/unstable-book/src/language-features/member-constraints.md

nikomatsakis
and
Centril
committed
cf721c5
Update src/librustc/infer/lexical_region_resolve/mod.rs

nikomatsakis
and
Centril
committed
56ae0bf
explain why the code is the way it is
nikomatsakis
committed
d2772e8
various centril nits
nikomatsakis
committed
b4a3753
rewrite `dup_vec` to use `IndexVec` instead of `u32`
nikomatsakis
committed
9588f7f
cleanup formatting of comment and add attribution
nikomatsakis
committed
6cab003
opaque_types: various nits
nikomatsakis
committed
6234aed
s/abstract_type_generics/opaque_type_generics/
nikomatsakis
committed
0c8ebea
opaque_types: more nits
nikomatsakis
committed
3ba1e19
region_constraints: nits
nikomatsakis
committed
d9f4d2a
more centril nits
nikomatsakis
committed
0dd074e
pass a parameter to enable impl Trait instead of a vec
nikomatsakis
committed
9217909
more nits + typos
nikomatsakis
committed
076b0d0
introduce more tests covering `async fn` surface
nikomatsakis
committed
5bd423a
Update src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.rs

nikomatsakis
and
matthewjasper
committed
8f9a3af
Update src/test/ui/async-await/multiple-lifetimes/fn-ptr.rs

nikomatsakis
and
matthewjasper
committed
1d93e3c
Update src/test/ui/async-await/multiple-lifetimes/elided.rs

nikomatsakis
and
matthewjasper
committed
f130e9a
Update src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-no-fg.rs

nikomatsakis
and
matthewjasper
committed
7f319a7
address nits
nikomatsakis
committed
0c2c241
fix ICE with delay-span-bug
nikomatsakis
committed
f7e00a5