summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2019-08-12Avoid ICE when referencing desugared local binding in borrow errorEsteban Küber-13/+12
2019-07-02more nits + typosNiko Matsakis-5/+5
2019-07-02pass a parameter to enable impl Trait instead of a vecNiko Matsakis-11/+7
2019-07-02more centril nitsNiko Matsakis-29/+38
2019-07-02rename `pick_constraints.rs` to `member_constraints.rs`Niko Matsakis-0/+0
2019-07-02rename to "member constraints"Niko Matsakis-170/+179
2019-07-02account for the pick-constraint edges when reporting errorsNiko Matsakis-12/+110
2019-07-02pacify the mercilous tidyNiko Matsakis-3/+9
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/+16
2019-07-02integrate reverse graph and upper-bound computationNiko Matsakis-17/+69
2019-07-02preliminary integration of "pick constraints" into nll solverNiko Matsakis-120/+223
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-02rename `ConstraintSet` to `OutlivesConstraintSet`Niko Matsakis-20/+20
2019-07-02propagate the pick-constraints through queriesNiko Matsakis-3/+4
2019-07-02remove deref impl and add an index implNiko Matsakis-12/+15
2019-07-02rename `ConstraintIndex` to `OutlivesConstraintIndex`Niko Matsakis-12/+16
2019-07-02introduce `QueryRegionConstraints` structNiko Matsakis-10/+15
2019-07-02rename `QueryRegionConstraint` to `QueryOutlivesConstraint`Niko Matsakis-12/+12
2019-06-26Don't use lift to detect local typesJohn Kåre Alsaker-3/+4
2019-06-25Rollup merge of #62096 - spastorino:impl-place-from, r=oli-obk,CentrilMazdak Farrokhzad-6/+6
2019-06-25Implement From<Local> for Place and PlaceBaseSantiago Pastorino-6/+6
2019-06-24HIR: rename find_by_hir_id to findljedrz-2/+2
2019-06-20rename hir::map::get_by_hir_id to getljedrz-3/+3
2019-06-20rename hir::map::expect_expr_by_hir_id to expect_exprljedrz-2/+2
2019-06-20rename hir::map::name_by_hir_id to ::nameljedrz-5/+5
2019-06-20remove hir::map::nameljedrz-2/+1
2019-06-20Rollup merge of #61968 - eddyb:hir-noclone, r=petrochenkovMazdak Farrokhzad-2/+2
2019-06-19Auto merge of #61947 - estebank:ice-ice-revolution, r=matthewjasperbors-1/+1
2019-06-19rustc: disallow cloning HIR nodes.Eduard-Mihai Burtescu-2/+2
2019-06-19review commentEsteban Küber-1/+1
2019-06-19Auto merge of #61945 - Centril:rollup-xdqo2mn, r=Centrilbors-5/+5
2019-06-18Fix ICE involving mut referencesEsteban Küber-1/+1
2019-06-19Rollup merge of #61842 - Zoxc:trim-lift, r=eddybMazdak Farrokhzad-5/+5
2019-06-18Auto merge of #59625 - immunant:copy_variadics_typealias, r=eddybbors-1/+1
2019-06-18rustc: reintroduce lifetime bounds where necessary.Eduard-Mihai Burtescu-1/+1
2019-06-18rustc: remove leftover lifetimes with no bounds from where clauses.Eduard-Mihai Burtescu-13/+3
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-26/+26
2019-06-17Expose `VaListImpl` as the Rust equivalent of `__va_list_tag` and implement C...Andrei Homescu-1/+1
2019-06-17remove _by_hir_id if there is no NodeId counterpartljedrz-5/+5
2019-06-17replace some uses of NodeId with HirIdljedrz-12/+12
2019-06-16Auto merge of #60730 - matthewjasper:optimize-false-edges, r=pnkfelixbors-6/+4
2019-06-14Remove unnecessary lift callsJohn Kåre Alsaker-5/+5
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-35/+11
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-250/+248
2019-06-12Make `FalseEdges` always have two targetsMatthew Jasper-6/+4
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-5/+4