about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2019-07-02Update src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-no-fg.rsNiko Matsakis-1/+1
2019-07-02Update src/test/ui/async-await/multiple-lifetimes/elided.rsNiko Matsakis-1/+1
2019-07-02Update src/test/ui/async-await/multiple-lifetimes/fn-ptr.rsNiko Matsakis-1/+1
2019-07-02Update src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.rsNiko Matsakis-1/+1
2019-07-02introduce more tests covering `async fn` surfaceNiko Matsakis-4/+239
2019-07-02more nits + typosNiko Matsakis-8/+8
2019-07-02pass a parameter to enable impl Trait instead of a vecNiko Matsakis-11/+7
2019-07-02more centril nitsNiko Matsakis-30/+39
2019-07-02region_constraints: nitsNiko Matsakis-5/+5
2019-07-02opaque_types: more nitsNiko Matsakis-6/+6
2019-07-02s/abstract_type_generics/opaque_type_generics/Niko Matsakis-5/+5
2019-07-02opaque_types: various nitsNiko Matsakis-10/+10
2019-07-02cleanup formatting of comment and add attributionNiko Matsakis-22/+23
2019-07-02rewrite `dup_vec` to use `IndexVec` instead of `u32`Niko Matsakis-7/+6
2019-07-02various centril nitsNiko Matsakis-10/+11
2019-07-02explain why the code is the way it isNiko Matsakis-0/+2
2019-07-02Update src/librustc/infer/lexical_region_resolve/mod.rsNiko Matsakis-1/+1
2019-07-02Update src/doc/unstable-book/src/language-features/member-constraints.mdNiko Matsakis-1/+1
2019-07-02feature-gate member constraints outside of async-awaitNiko Matsakis-7/+147
2019-07-02implement `TypeFoldable` for `Arc`Niko Matsakis-0/+10
2019-07-02rename `pick_constraints.rs` to `member_constraints.rs`Niko Matsakis-0/+0
2019-07-02rename to "member constraints"Niko Matsakis-261/+275
2019-07-02implement Lift for ArcNiko Matsakis-0/+8
2019-07-02switch to LrcNiko Matsakis-11/+11
2019-07-02fix silly bugs in binary_search_util testNiko Matsakis-2/+3
2019-07-02bless test outputNiko Matsakis-6/+3
2019-07-02address nits by mattewjasperNiko Matsakis-64/+13
2019-07-02account for the pick-constraint edges when reporting errorsNiko Matsakis-18/+195
2019-07-02just create a binary search slice helper fnNiko Matsakis-114/+72
2019-07-02add a `VecMap` data structureNiko Matsakis-0/+114
2019-07-02test with explicit existential typeNiko Matsakis-0/+2
2019-07-02add a preliminary existential test; not really enoughNiko Matsakis-0/+29
2019-07-02pacify the mercilous tidyNiko Matsakis-6/+15
2019-07-02remove outdated TODO markersNiko Matsakis-3/+1
2019-07-02explain why pick-constraints can be an empty vectorNiko Matsakis-1/+8
2019-07-02add a FIXME related to the non-free-region caseNiko Matsakis-3/+43
2019-07-02update the async-fn-multiple-lifetimes testNiko Matsakis-23/+4
2019-07-02fix tests and remove outdated stderr filesNiko Matsakis-54/+0
2019-07-02integrate reverse graph and upper-bound computationNiko Matsakis-17/+69
2019-07-02add a `depth_first_search` helper functionNiko Matsakis-1/+49
2019-07-02introduce a `VecGraph` abstraction that cheaply stores graphsNiko Matsakis-3/+197
2019-07-02implement the graph traits for SCCNiko Matsakis-1/+26
2019-07-02improve tests with migration mode, mir modeNiko Matsakis-94/+101
2019-07-02remove old error and add an explanationNiko Matsakis-49/+13
2019-07-02preliminary integration of "pick constraints" into nll solverNiko Matsakis-127/+231
2019-07-02construct pick-constraints and give them to region inferenceNiko Matsakis-4/+33
2019-07-02implement PickConstraintSet typeNiko Matsakis-0/+211
2019-07-02pass more than outlives constraints to constraint conversionNiko Matsakis-8/+6
2019-07-02[WIP] fix `Lift` impl for `Rc`Niko Matsakis-1/+1
2019-07-02rename `ConstraintSet` to `OutlivesConstraintSet`Niko Matsakis-20/+20