about summary refs log tree commit diff
path: root/src/librustc/infer/canonical/query_response.rs
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-658/+0
2020-01-09{rustc::util -> rustc_data_structures}::capturesMazdak Farrokhzad-1/+1
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-1/+1
2019-12-22Format the worldMark Rousskov-98/+59
2019-11-12Create intermediate enum ty::ConstKind.Camille GILLOT-2/+1
2019-10-21Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)`varkor-5/+2
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-2/+2
2019-09-26Rename `subst::Kind` to `subst::GenericArg`varkor-20/+23
2019-09-25Rename `sty` to `kind`varkor-1/+1
2019-07-02rename to "member constraints"Niko Matsakis-5/+5
2019-07-02propagate the pick-constraints through queriesNiko Matsakis-5/+9
2019-07-02pass a `&mut QueryRegionConstraints` not just outlives constraintsNiko Matsakis-4/+6
2019-07-02introduce `QueryRegionConstraints` structNiko Matsakis-8/+6
2019-07-02introduce `QueryRegionConstraints` struct (no-op)Niko Matsakis-6/+8
2019-07-02rename `QueryRegionConstraint` to `QueryOutlivesConstraint`Niko Matsakis-13/+13
2019-07-02rename from "in constraint" to "pick constraint"Niko Matsakis-2/+2
2019-07-02introduce an "in" constraint instead of errorNiko Matsakis-0/+4
2019-06-14Remove unnecessary lift callsJohn Kåre Alsaker-8/+8
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-3/+2
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-16/+16
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-1/+1
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-2/+2
2019-05-06Resolve a couple of `unimplemented!()`svarkor-4/+6
2019-05-01Fix rebase from LazyConst removalvarkor-2/+2
2019-05-01Handle generic consts in relate and infervarkor-3/+13
2019-04-25Update trait queriesJohn Kåre Alsaker-2/+4
2019-03-05Stub methods in infervarkor-0/+15
2019-02-10rustc: doc commentsAlexander Regueiro-3/+3
2019-02-05move librustc to 2018Mark Mansi-12/+12
2018-12-27Use `TraitEngine` in `enter_canonical_trait_query`scalexm-7/+11
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-19Auto merge of #54252 - arielb1:deref-query, r=nikomatsakisbors-0/+25
2018-12-15address review commentsAriel Ben-Yehuda-3/+1
2018-12-15implement "isolated" autoderef using the Canonical mechanismAriel Ben-Yehuda-0/+27
2018-12-12infer: remove Box from a returned Iteratorljedrz-26/+25
2018-11-26rustc-guide has movedMark Mansi-2/+2
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-4/+4
2018-11-13fix various typos in doc commentsAndy Russell-1/+1
2018-11-03Substitute binders directlyscalexm-12/+13
2018-11-03Rename `as_bound_var` to `assert_bound_var`scalexm-1/+1
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-20/+28
2018-11-03Adjust bound tys indices in canonicalizationscalexm-0/+1
2018-11-03Rename `BoundTyIndex` to `BoundVar`scalexm-7/+7
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+1
2018-10-27extend query response to potentially contain fresh universesNiko Matsakis-3/+29
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-2/+2
2018-10-20Rename CanonicalVar to BoundTyIndexFabian Drinck-7/+7
2018-10-19remove outdated assertionNiko Matsakis-8/+1
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-18/+28
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-0/+603
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 02:44:28 +0000