about summary refs log tree commit diff
path: root/src/librustc/infer/region_constraints
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-1072/+0
2020-02-12remove some unused objectsljedrz-2/+0
2020-02-06add the ability to skip leak check within a snapshotNiko Matsakis-12/+0
2020-02-06index ReEmpty by universeNiko Matsakis-1/+1
2020-02-06add a `IsEmpty` for use in verified boundsNiko Matsakis-1/+5
2020-02-05Move infer::region_constraints::MemberConstraint to infer::types module.Camille GILLOT-24/+2
2020-01-27don't clone types that are copy, round two.Matthias Krüger-1/+1
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-1/+1
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-1/+1
2019-12-22Format the worldMark Rousskov-73/+31
2019-11-18Retire BraceStructLiftImpl.Camille GILLOT-8/+1
2019-11-13Use TypeFoldable derive macro.Camille GILLOT-15/+2
2019-11-07Fix other broken linkYuki Okushi-1/+1
2019-10-21Remove many unnecessary trait derivations.Nicholas Nethercote-1/+1
2019-10-08Clarify a comment in `RegionConstraintCollector::leak_check`.Nicholas Nethercote-3/+5
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-1/+1
2019-07-23normalize use of backticks for compiler messages in remaining modulesSamy Kacimi-2/+2
2019-07-04Rollup merge of #62249 - czipperz:use-mem-take-instead-of-replace-default, r=...Mazdak Farrokhzad-1/+1
2019-07-02region_constraints: nitsNiko Matsakis-5/+5
2019-07-02rename to "member constraints"Niko Matsakis-23/+23
2019-07-02switch to LrcNiko Matsakis-3/+3
2019-07-02account for the pick-constraint edges when reporting errorsNiko Matsakis-2/+8
2019-07-02pacify the mercilous tidyNiko Matsakis-1/+4
2019-07-02propagate the pick-constraints through queriesNiko Matsakis-1/+14
2019-07-02enforce and report pick-constraint errorsNiko Matsakis-3/+16
2019-07-02rename from "in constraint" to "pick constraint"Niko Matsakis-15/+20
2019-07-02introduce an "in" constraint instead of errorNiko Matsakis-1/+34
2019-07-01Convert more usages overChris Gregory-1/+1
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-8/+8
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-7/+7
2019-06-12Fix fallout from `deny(unused_lifetimes)`.Eduard-Mihai Burtescu-1/+1
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-7/+7
2019-06-11rustc: deny(unused_lifetimes).Eduard-Mihai Burtescu-1/+1
2019-05-31Remove ty::BrFresh and new_boundYuki Okushi-40/+2
2019-03-27Use Vec instead of FxHashMapvarkor-6/+5
2019-03-27Lookup region variable origin instead of choosing onevarkor-3/+10
2019-03-27Use Ranges for vars_since_snapshotvarkor-2/+3
2019-03-27Simplify `RegionConstraintCollector::vars_since_snapshot`varkor-6/+1
2019-03-27Make `vars_since_snapshot` naming consistentvarkor-1/+1
2019-02-21update test files to reflect new outputNiko Matsakis-0/+12
2019-02-21restore the actual leak-checkNiko Matsakis-0/+164
2019-02-15make generalization code create new variables in correct universeNiko Matsakis-1/+1
2019-02-15include more universe information in `debug!` printoutsNiko Matsakis-2/+3
2019-02-10rustc: doc commentsAlexander Regueiro-35/+45
2019-02-05move librustc to 2018Mark Mansi-4/+4
2019-01-15update/remove some old readmesmark-75/+1
2019-01-02track if any region constraints involved placeholdersNiko Matsakis-9/+24
2019-01-02universe transitionNiko Matsakis-116/+0
2019-01-02introduce ability to detect region constraints from snapshotNiko Matsakis-0/+9
2018-12-25Remove licensesMark Rousskov-20/+0