summary refs log tree commit diff
path: root/src/librustc/traits/project.rs
AgeCommit message (Expand)AuthorLines
2017-10-06Auto merge of #45065 - arielb1:not-correct, r=nikomatsakisbors-1/+1
2017-10-06fix logic error in #44269's `prune_cache_value_obligations`Ariel Ben-Yehuda-1/+1
2017-10-06Improve resolution of associated types in macros 2.0Vadim Petrochenkov-8/+7
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-3/+37
2017-09-08Auto merge of #44269 - nikomatsakis:issue-43613-limit-cache-obligations, r=ar...bors-7/+102
2017-09-07update commentNiko Matsakis-7/+18
2017-09-06add in a "paranoid" trait boundNiko Matsakis-0/+34
2017-09-05rustc: Migrate lang items to a queryAlex Crichton-2/+2
2017-09-02limit and clear cache obligations opportunisticallyNiko Matsakis-7/+57
2017-08-28Auto merge of #43999 - arielb1:immediate-project, r=nikomatsakisbors-16/+100
2017-08-27clear out projection subobligations after they are processedAriel Ben-Yehuda-16/+100
2017-08-14Merge remote-tracking branch 'origin/master' into genAlex Crichton-1/+1
2017-08-12Fix some typosBastien Orivel-1/+1
2017-08-09Merge remote-tracking branch 'origin/master' into genAlex Crichton-36/+21
2017-07-30save the subobligations as wellNiko Matsakis-6/+12
2017-07-29Cleanup some remains of `hr_lifetime_in_assoc_type` compatibility lintVadim Petrochenkov-31/+10
2017-07-28Fix upstream changesJohn Kåre Alsaker-3/+3
2017-07-28Rename suspend to yieldJohn Kåre Alsaker-2/+2
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+58
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-34/+30
2017-07-05use field init shorthand in src/librustcZack M. Davis-10/+10
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-1/+11
2017-06-27rustc: rename closure_type to fn_sig.Eduard-Mihai Burtescu-1/+1
2017-06-01pacify the mercilous tidyNiko Matsakis-1/+4
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-20/+12
2017-06-01strip param-env from infcxNiko Matsakis-16/+36
2017-06-01move projection mode into parameter environmentNiko Matsakis-7/+9
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-12/+15
2017-05-16Remove unreachable branches in traits::projectMichael Woerister-116/+72
2017-05-16Don't use queries::try_get() in assoc_ty projectionMichael Woerister-25/+16
2017-05-15Re-introduce cycle-check in assoc. item resolution.Michael Woerister-7/+33
2017-05-15Remove interior mutability from TraitDef by turning fields into queries.Michael Woerister-17/+4
2017-04-27Auto merge of #37860 - giannicic:defaultimpl, r=nagisabors-1/+2
2017-04-25 support `default impl` for specializationGianni Ciccarelli-23/+2
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-4/+4
2017-04-24support `default impl` for specializationGianni Ciccarelli-1/+23
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-33/+4
2017-02-25rustc: simplify tcx.closure_type(...) as it can copy the cached values.Eduard-Mihai Burtescu-1/+2
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-2/+2
2016-12-12Auto merge of #38057 - KiChjang:display-formal-type-param, r=nikomatsakisbors-2/+13
2016-12-03Add TypeVariableOrigin enumKeith Yeung-2/+13
2016-12-03Auto merge of #38059 - arielb1:no-mere-overflow, r=nikomatsakisbors-1/+1
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-2/+2
2016-11-29evaluate obligations in LIFO order during closure projectionAriel Ben-Yehuda-1/+1
2016-11-20Move `syntax::util::interner` -> `syntax::symbol`, cleanup.Jeffrey Seyfried-2/+2
2016-11-17Auto merge of #37660 - nikomatsakis:incremental-36349, r=eddybbors-4/+5
2016-11-17hash the contents of impl-item-ref by adding them to visitorNiko Matsakis-2/+2
2016-11-17when creating an AssociatedItem, read data from impl, not impl itemNiko Matsakis-2/+3
2016-11-15register `infer-ok` obligations properlyNiko Matsakis-11/+6
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-9/+6