about summary refs log tree commit diff
path: root/src/librustc/infer/higher_ranked
AgeCommit message (Expand)AuthorLines
2019-02-21restore the actual leak-checkNiko Matsakis-13/+6
2019-02-21introduce a dummy leak check and invoke it in all the right placesNiko Matsakis-2/+24
2019-02-21reintroduce `commit_if_ok` call into `higher_ranked_sub`Niko Matsakis-26/+25
2019-02-15include more universe information in `debug!` printoutsNiko Matsakis-2/+7
2019-02-10rustc: doc commentsAlexander Regueiro-1/+1
2019-02-05move librustc to 2018Mark Mansi-2/+2
2019-01-18remove more old readmesmark-401/+6
2019-01-02universe transitionNiko Matsakis-477/+30
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-11-26rustc-guide has movedMark Mansi-1/+1
2018-11-25Auto merge of #55906 - nnethercote:rm-OpenSnapshot-CommittedSnapshot, r=nikom...bors-5/+1
2018-11-25Remove `OpenSnapshot` and `CommittedSnapshot` markers from `RegionConstraintC...Nicholas Nethercote-5/+1
2018-11-24Instantiate all bound vars universallyscalexm-16/+27
2018-11-24Distinguish between placeholder kindsscalexm-1/+1
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-1/+1
2018-11-13fix various typos in doc commentsAndy Russell-1/+1
2018-11-13Instantiate all bound vars existentiallyscalexm-5/+5
2018-10-31kill old-style-lub warningsNiko Matsakis-256/+0
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-15remove the sub/super terminology for universesNiko Matsakis-2/+2
2018-10-15make `UniverseIndex` hashable, rename "sub-" to "superuniverse"Niko Matsakis-1/+1
2018-10-04remove occurences of `skolemization`Niko Matsakis-34/+34
2018-10-04remove all occurences of `skolemize`Niko Matsakis-2/+2
2018-10-04extend NLL universe code to have >1 placeholder within one universeNiko Matsakis-6/+11
2018-10-04create just one subuniverse per binder -- no need for more, reallyNiko Matsakis-3/+3
2018-10-04reorder the placeholders and inference variables in hr::subNiko Matsakis-7/+9
2018-10-04rename skolemized to placeholderNiko Matsakis-73/+79
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-1/+1
2018-08-19Fix typos found by codespell.Matthias Krüger-1/+1
2018-07-25introduce new subtypingNiko Matsakis-0/+12
2018-06-24Update broken rustc-guide linksAlex Kitchens-1/+1
2018-06-14Declare DebruijnIndex via newtype_index macroFabian Drinck-3/+2
2018-05-28stop invoking `DebruijnIndex::new` directlyNiko Matsakis-1/+2
2018-05-28port `fold_regions` and friends to use debruijn indices directlyNiko Matsakis-3/+5
2018-05-14Remove LazyBTreeMap.Nicholas Nethercote-7/+5
2018-05-02Fix rebase issuesSean Griffin-1/+1
2018-05-02track skol levels in the InferCtxt rather than via counterSean Griffin-6/+6
2018-04-28Auto merge of #50240 - nnethercote:LazyBTreeMap, r=cramertjbors-5/+7
2018-04-26Implement LazyBTreeMap and use it in a few places.Nicholas Nethercote-5/+7
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-3/+3
2018-03-16Replace many of the last references to readmesMark Mansi-1/+4
2018-03-01store type values in the unification table directlyNiko Matsakis-9/+8
2017-11-17use a BTreeMap instead of an FxHasMap for the skol regionsNiko Matsakis-4/+5
2017-11-16make the `region_constraints` field an `Option`Niko Matsakis-13/+11
2017-11-16infer: rename `region_vars` field to `region_constraints`Niko Matsakis-9/+15
2017-11-16rename `region_inference` module to `region_constraints`Niko Matsakis-1/+1
2017-11-16move refcells out from `RegionVarBindings` and up into `InferCtxt`Niko Matsakis-8/+12
2017-11-16extract the `tcx` out from `RegionVarBindings`Niko Matsakis-4/+4
2017-11-02add some better debugsNiko Matsakis-1/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 13:00:04 +0000