about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2018-05-09Auto merge of #49711 - ibabushkin:auto_trait_refactor, r=nikomatsakisbors-0/+663
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-6/+4
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-20/+22
2018-05-08Store generator movability outside GeneratorInteriorJohn Kåre Alsaker-2/+2
2018-05-07Make SelectionCache and EvaluationCache thread-safeJohn Kåre Alsaker-10/+17
2018-05-04Auto merge of #50397 - sgrif:sg-smaller-universe-refactorings, r=nikomatsakisbors-6/+5
2018-05-02track skol levels in the InferCtxt rather than via counterSean Griffin-6/+5
2018-05-02make it compile againflip1995-1/+1
2018-04-30make needs_infer specific to inference variablesNiko Matsakis-2/+2
2018-04-28Rollup merge of #50257 - estebank:fix-49560, r=nikomatsakiskennytm-0/+6
2018-04-27Auto merge of #50275 - kennytm:rollup, r=kennytmbors-3/+3
2018-04-27Auto merge of #48995 - aravind-pg:canonical-query, r=nikomatsakisbors-95/+262
2018-04-27Rename InternedString to LocalInternedString and introduce a new thread-safe ...John Kåre Alsaker-3/+3
2018-04-26Retry canonical trait query in standard mode if overflow occursAravind Gollakota-15/+36
2018-04-26Remove the stored obligation in OverflowError to simplify thingsAravind Gollakota-24/+22
2018-04-26Introduce trait query mode and use it to set overflow error handling policy i...Aravind Gollakota-11/+58
2018-04-26Simplify trait selector's evaluation API slightlyAravind Gollakota-22/+6
2018-04-26Port existing callers of `evaluate_obligation` to the new canonical trait queryAravind Gollakota-8/+8
2018-04-26Create a canonical trait query for `evaluate_obligation`Aravind Gollakota-10/+83
2018-04-26Refactor overflow handling in traits::select to propagate overflow instead of...Aravind Gollakota-69/+113
2018-04-26Auto merge of #50253 - nikomatsakis:regressions-2018-04-26, r=eddybbors-3/+9
2018-04-26Don't ICE on tuple struct ctor with incorrect arg countEsteban Küber-0/+6
2018-04-26Updated comments in auto trait machinery.Inokentiy Babushkin-3/+18
2018-04-26Simplified name mapping in auto trait handling.Inokentiy Babushkin-5/+3
2018-04-26Added a header comment to auto trait innards.Inokentiy Babushkin-0/+3
2018-04-26Reformatted source for auto trait machinery.Inokentiy Babushkin-188/+193
2018-04-26Reformatted and commented various bits of the auto trait machinery.Inokentiy Babushkin-198/+199
2018-04-26Adjusted types and visibility in auto trait machinery.Inokentiy Babushkin-4/+7
2018-04-26Cleaned up for tidy checks.Inokentiy Babushkin-3/+1
2018-04-26Reworked auto trait functionality in rustdoc.Inokentiy Babushkin-193/+27
2018-04-26Made some bits of the auto trait machinery public.Inokentiy Babushkin-14/+14
2018-04-26Begun refactoring auto trait discovery for use outside rustc.Inokentiy Babushkin-0/+806
2018-04-26improved debug outputNiko Matsakis-3/+9
2018-04-26rustc_target: move in syntax::abi and flip dependency.Irina Popa-3/+3
2018-04-24Remove methods with implicit Binder::skip_boundTyler Mandry-5/+9
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-97/+100
2018-04-23eliminate the `Lrc` of a slice and just return the sliceNiko Matsakis-2/+7
2018-04-23add `Goal::CannotProve` and extract `ProgramClause` structNiko Matsakis-1/+4
2018-04-15Implement Chalk lowering rule Normalize-From-ImplFabian Zaiser-0/+3
2018-04-13Auto merge of #49800 - ishitatsuyuki:intern-goal, r=nikomatsakisbors-20/+55
2018-04-12Auto merge of #49558 - Zoxc:sync-misc, r=michaelwoeristerbors-5/+5
2018-04-12traits: Implement interning for Goal and ClauseTatsuyuki Ishi-20/+55
2018-04-11Auto merge of #49695 - michaelwoerister:unhygienic-ty-min, r=nikomatsakisbors-2/+2
2018-04-10Make recursion_limit and type_length_limit thread-safeJohn Kåre Alsaker-5/+5
2018-04-08Auto merge of #49714 - nikomatsakis:issue-49631, r=eddybbors-19/+43
2018-04-06Use `Ident` instead of `Name` in `MetaItem`Vadim Petrochenkov-1/+1
2018-04-06Use InternedString instead of Symbol for type parameters.Michael Woerister-2/+2
2018-04-05do not propagate `Err` when determing causal infoNiko Matsakis-19/+43
2018-04-05Rollup merge of #49497 - scalexm:hrtb, r=nikomatsakisAlex Crichton-23/+54
2018-04-05Rollup merge of #49654 - davidtwco:issue-29893, r=alexcrichtonkennytm-0/+2