summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2018-06-03change `PointerKind::Implicit` to a noteNiko Matsakis-6/+25
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-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
2018-04-04Auto merge of #48171 - FraGag:doc-copy-clone-impls, r=nikomatsakisbors-3/+7
2018-04-04Updated codeblocks to specify language where required.David Wood-0/+2
2018-03-31Auto merge of #49201 - Phlosioneer:add-trivial-size-hints, r=SimonSapinbors-0/+5
2018-03-30Tweak `Clause` definition and HRTBsscalexm-23/+54
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-26/+9
2018-03-27Auto merge of #49202 - csmoe:trait_engine, r=nikomatsakisbors-76/+153
2018-03-26Move some implementations of Clone and Copy to libcoreFrancis Gagné-3/+7
2018-03-25Rollup merge of #49299 - SimonSapin:ubiquity, r=nikomatsakiskennytm-8/+3
2018-03-25Rollup merge of #49162 - tmandry:stabilize-termination-trait, r=nikomatsakiskennytm-9/+12
2018-03-23Revert "add universes to type inference variables"Sean Griffin-21/+7
2018-03-23Revert "introduce `UniverseIndex` into `ParamEnv`"Sean Griffin-5/+2
2018-03-23Rename variables in rustc’s SelectionContext::copy_clone_conditionsSimon Sapin-4/+3
2018-03-23Rollup merge of #49262 - oli-obk:fixed_size_array_len, r=estebankAlex Crichton-3/+13
2018-03-23Rollup merge of #49030 - Zoxc:misc, r=michaelwoeristerAlex Crichton-6/+6