about summary refs log tree commit diff
path: root/src/librustc/infer/region_constraints/mod.rs
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-918/+0
2020-02-12remove some unused objectsljedrz-2/+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-56/+27
2019-11-18Retire BraceStructLiftImpl.Camille GILLOT-8/+1
2019-11-13Use TypeFoldable derive macro.Camille GILLOT-15/+2
2019-10-21Remove many unnecessary trait derivations.Nicholas Nethercote-1/+1
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-1/+1
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-6/+6
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-5/+5
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-5/+5
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-21restore the actual leak-checkNiko Matsakis-0/+2
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-02track if any region constraints involved placeholdersNiko Matsakis-9/+24
2019-01-02universe transitionNiko Matsakis-31/+0
2019-01-02introduce ability to detect region constraints from snapshotNiko Matsakis-0/+9
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-2/+2
2018-11-25Remove `OpenSnapshot` and `CommittedSnapshot` markers from `RegionConstraintC...Nicholas Nethercote-35/+30
2018-11-25Introduce `in_snapshot` and `assert_open_snapshot` methods.Nicholas Nethercote-4/+7
2018-11-25Rename `UndoLogEntry` as `UndoLog`.Nicholas Nethercote-5/+5
2018-11-21rustc: implement and use Default on more types.Eduard-Mihai Burtescu-11/+3
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-4/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 04:57:38 +0000