about summary refs log tree commit diff
path: root/src/librustc/traits/query/normalize.rs
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-189/+0
2020-02-05Move traits::query datatypes to traits::types.Camille GILLOT-7/+2
2020-01-28Add an early-exit to `QueryNormalizer::fold_ty`Jonas Schievink-0/+4
2019-12-22Format the worldMark Rousskov-12/+7
2019-11-19More HashStable.Camille GILLOT-5/+1
2019-11-18Retire BraceStructLiftImpl.Camille GILLOT-8/+1
2019-11-13Use TypeFoldable derive macro.Camille GILLOT-7/+1
2019-09-27Remove global_tcx from TyCtxtMark Rousskov-2/+2
2019-09-25Rename `sty` to `kind`varkor-1/+1
2019-08-23Simplify eager normalization of constantsOliver Scherer-36/+2
2019-07-24Stabilize the type_name intrinsic in core::anySteven Fackler-1/+1
2019-06-26Don't use lift to detect local typesJohn Kåre Alsaker-2/+3
2019-06-19Rollup merge of #61842 - Zoxc:trim-lift, r=eddybMazdak Farrokhzad-1/+0
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-1/+1
2019-06-14Remove unnecessary lift callsJohn Kåre Alsaker-1/+0
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-5/+5
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-1/+1
2019-06-03Don't canonicalize `'static` in normalizeMatthew Jasper-1/+3
2019-05-25Don't use `ty::Const` without immediately interningOliver Scherer-2/+1
2019-03-16Revert the `LazyConst` PROliver Scherer-5/+6
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
2019-02-10rustc: doc commentsAlexander Regueiro-1/+1
2019-02-09Auto merge of #58207 - nnethercote:intern_lazy_const, r=oli-obkbors-2/+2
2019-02-06Make `intern_lazy_const` actually intern its argument.Nicholas Nethercote-2/+2
2019-02-05move librustc to 2018Mark Mansi-9/+9
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-6/+7
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-24Rename some occurences of `skol` to `placeholder`scalexm-1/+1
2018-11-03Shift both late bound regions and bound typesscalexm-2/+2
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-2/+2
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-1/+1
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-23/+17
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-1/+1
2018-08-23Auto merge of #53588 - tristanburgess:52985_diagnostics_no_concrete_type_behi...bors-30/+8
2018-08-23Use optimized SmallVec implementationIgor Gutorov-1/+1
2018-08-2252985: formatting PR filesTristan Burgess-9/+14
2018-08-2252985: better cycle error for existential typesTristan Burgess-36/+9
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-2/+2
2018-08-1352985: cause cycle err on inf trait normalizationTristan Burgess-9/+36
2018-07-17Avoid most allocations in `Canonicalizer`.Nicholas Nethercote-2/+4
2018-06-28Rebase falloutOliver Schneider-1/+1
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-1/+1
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-2/+1
2018-06-28Auto merge of #51538 - nikomatsakis:nll-perf-examination, r=eddybbors-27/+1
2018-06-26remove `Canonicalization` trait, which serves no purposeNiko Matsakis-13/+0
2018-06-26rename `instantiate_query_result`Niko Matsakis-1/+1
2018-06-26make one `Canonicalize` impl for `QueryResult`Niko Matsakis-14/+1
2018-06-26Use proper debugging statements for infinite recursion assertionOliver Schneider-3/+3
2018-06-07Add existential type definitonsOliver Schneider-0/+5