about summary refs log tree commit diff
path: root/src/librustc/traits/query/normalize.rs
AgeCommit message (Expand)AuthorLines
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
2018-06-02Fix typos of 'ambiguous'Jon Purdy-1/+1
2018-05-17Rename trans to codegen everywhere.Irina Popa-1/+1
2018-04-30make needs_infer specific to inference variablesNiko Matsakis-1/+1
2018-04-10Make recursion_limit and type_length_limit thread-safeJohn Kåre Alsaker-1/+1
2018-03-17Replace Rc with LrcJohn Kåre Alsaker-3/+3
2018-03-13add some debug outputNiko Matsakis-0/+6
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+268