summary refs log tree commit diff
path: root/src/librustc/traits/project.rs
AgeCommit message (Expand)AuthorLines
2018-06-01change `PointerKind::Implicit` to a noteNiko Matsakis-6/+25
2018-04-27improved debug outputNiko Matsakis-2/+8
2018-03-23Revert "add universes to type inference variables"Sean Griffin-2/+0
2018-03-08Prepare for using miri in transAlexander Regueiro-16/+24
2018-03-01add universes to type inference variablesNiko Matsakis-0/+2
2018-02-27Bring back ParamEnv deduplicationTatsuyuki Ishi-2/+5
2018-02-24Rollup merge of #48296 - ishitatsuyuki:exp-unblow, r=nikomatsakisManish Goregaokar-109/+112
2018-02-22Fix exponential blowup on nested typesTatsuyuki Ishi-98/+111
2018-02-22Remove needless dedup from projectionTatsuyuki Ishi-10/+0
2018-02-22Revert "Implement Ord as necessary"Tatsuyuki Ishi-1/+1
2018-02-18Generate documentation for auto-trait implsAaron Hill-0/+4
2018-01-25Rollup merge of #47656 - ishitatsuyuki:patch-1, r=nikomatsakisAlex Crichton-16/+7
2018-01-23Implement Ord as necessaryTatsuyuki Ishi-1/+1
2018-01-22Use std based dedup in projectionTatsuyuki Ishi-15/+6
2018-01-17track recursion limit when expanding existential impl traitNiko Matsakis-1/+15
2017-12-07replace `InferCtxt::fn_sig` with `closure_sig`Niko Matsakis-8/+9
2017-12-04make `no_late_bound_regions` a method on `Binder<T>`Niko Matsakis-1/+1
2017-11-18remove the `generator_sigs` map, query, and plumbingNiko Matsakis-2/+1
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.yvens-2/+2
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