about summary refs log tree commit diff
path: root/src/librustc/infer/higher_ranked
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-156/+0
2020-02-10Reduce the number of `RefCell`s in `InferCtxt`.Nicholas Nethercote-1/+1
2020-02-06add the ability to skip leak check within a snapshotNiko Matsakis-0/+10
2019-12-22Format the worldMark Rousskov-15/+15
2019-11-12Create intermediate enum ty::ConstKind.Camille GILLOT-2/+1
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-2/+2
2019-05-01Fix rebase from LazyConst removalvarkor-2/+2
2019-05-01Replace ConstVariableTable with UnificationTablevarkor-10/+12
2019-05-01Implement fold_const for BoundVarReplacervarkor-2/+13
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 14:37:44 +0000