about summary refs log tree commit diff
path: root/src/librustc/traits/query
AgeCommit message (Expand)AuthorLines
2019-04-26Update handling of Tuplevarkor-1/+1
2019-03-16Revert the `LazyConst` PROliver Scherer-5/+6
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
2019-02-13HirId-ify hir::BodyIdljedrz-2/+2
2019-02-10rustc: doc commentsAlexander Regueiro-6/+6
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-68/+68
2019-01-19Handle lifetime annotations in unreachable codeMatthew Jasper-10/+5
2019-01-04Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakisbors-6/+7
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-2/+17
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-6/+7
2018-12-30Stop well-formedness checking unreachable code.David Wood-61/+1
2018-12-30Always check well-formedness.David Wood-2/+62
2018-12-25Remove licensesMark Rousskov-160/+0
2018-12-23Rollup merge of #56984 - ljedrz:dropck_outlives_tweaks, r=oli-obkkennytm-8/+7
2018-12-19dropck: remove unnecessary call to cloned()ljedrz-1/+1
2018-12-19dropck: simplify common patternsljedrz-7/+6
2018-12-15move overflow error reporting out of the queryAriel Ben-Yehuda-2/+5
2018-12-15make autoderef steps a queryAriel Ben-Yehuda-0/+53
2018-11-26rustc-guide has movedMark Mansi-1/+1
2018-11-24Rename some occurences of `skol` to `placeholder`scalexm-1/+1
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
2018-11-13fix various typos in doc commentsAndy Russell-1/+1
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-1/+1
2018-11-03Shift both late bound regions and bound typesscalexm-2/+2
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-0/+1
2018-10-27allow canonicalized regions to carry universe and track max-universeNiko Matsakis-25/+11
2018-10-26add user_ty.projs support to `AscribeUserType`.Felix S. Klock II-4/+7
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-7/+10
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+78
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-11/+11
2018-10-15type_op/mod.rs: rustfmtNiko Matsakis-2/+3
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-68/+68
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-1/+1
2018-09-26Auto merge of #54199 - nikomatsakis:predicate_may_hold-failure, r=eddybbors-8/+24
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-43/+29
2018-09-13expose `evaluate_obligation` that captures overflow, use in rustdocNiko Matsakis-7/+16
2018-09-13give a more informative failure in this caseNiko Matsakis-1/+8
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-2/+2
2018-08-27Auto merge of #53580 - nikomatsakis:nll-issue-53568, r=pnkfelixbors-2/+89
2018-08-23Auto merge of #53588 - tristanburgess:52985_diagnostics_no_concrete_type_behi...bors-30/+8
2018-08-23use `TypeOp` machinery for `outlives_bounds`Niko Matsakis-0/+81
2018-08-23resolve type variables in the custom type op pathwayNiko Matsakis-1/+2
2018-08-23Use optimized SmallVec implementationIgor Gutorov-5/+5
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{Bool|Char|Int|Uint|Float|Str}varkor-6/+6
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-2/+2