about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2017-02-20Remove `else`, unindent.Corey Farwell-46/+45
2017-02-20Rewrite `match` to use combinators.Corey Farwell-8/+4
2017-02-20Remove `else`, unindent.Corey Farwell-110/+109
2017-02-18Auto merge of #39887 - nikomatsakis:issue-39292, r=arielb1bors-0/+5
2017-02-18Auto merge of #39877 - estebank:remove-params, r=petrochenkovbors-2/+2
2017-02-16erase late bound regions in `get_vtable_methods()`Niko Matsakis-0/+5
2017-02-15Remove noop method `Substs::params()`Esteban Küber-2/+2
2017-02-14Show five traits implementation in help when there are exactly fiveSebastian Waisbrot-3/+6
2017-02-07Rollup merge of #39361 - cengizIO:master, r=arielb1Corey Farwell-13/+65
2017-02-04Remove extra note and revert name in messageCengiz Can-12/+22
2017-02-04Improve error message for uninferrable types #38812Cengiz Can-18/+60
2017-02-03Use a proper future-compatibility lintAndrew Cann-7/+6
2017-02-03Add is_defaulted_unit helper methodAndrew Cann-3/+1
2017-02-03Add warning for () to ! switchAndrew Cann-9/+56
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-16/+7
2017-01-26Auto merge of #39309 - eddyb:map-shmap, r=nikomatsakisbors-3/+3
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-3/+3
2017-01-24Remove Reflectest31-57/+3
2017-01-20Auto merge of #38603 - arielb1:supertrait-self-3, r=nikomatsakisbors-5/+15
2017-01-13Use multiline Diagnostic for "relevant impl" listEsteban Küber-8/+10
2017-01-11forbid all self-referencing predicatesAriel Ben-Yehuda-4/+12
2017-01-11traits with self-containing supertraits are not object safeAriel Ben-Yehuda-2/+4
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-5/+5
2016-12-20Rollup merge of #38150 - estebank:fix-23286, r=nikomatsakisAlex Crichton-8/+38
2016-12-14review commentsEsteban Küber-10/+24
2016-12-12Auto merge of #38057 - KiChjang:display-formal-type-param, r=nikomatsakisbors-8/+36
2016-12-11Auto merge of #38249 - arielb1:special-substs, r=nikomatsakisbors-0/+1
2016-12-08Point out the known type when field doesn't satisfy boundEsteban Küber-7/+23
2016-12-05Refactor ty::FnSig to privatize all fieldsMark-Simulacrum-16/+9
2016-12-05erase lifetimes when translating specialized substsAriel Ben-Yehuda-0/+1
2016-12-03Display better error messages for E0282Keith Yeung-3/+17
2016-12-03Add TypeVariableOrigin enumKeith Yeung-5/+19
2016-12-03Auto merge of #38059 - arielb1:no-mere-overflow, r=nikomatsakisbors-1/+1
2016-12-02Auto merge of #38053 - eddyb:lazy-9, r=nikomatsakisbors-18/+20
2016-11-29rustc: simplify AdtDef by removing the field types and ty::ivar.Eduard-Mihai Burtescu-1/+1
2016-11-29rustc: remove type information from TraitDef.Eduard-Mihai Burtescu-17/+19
2016-11-28Adds TyCtxt::require_lang_item(LangItem) to simplify lang item requires.Mark-Simulacrum-2/+1
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-93/+77
2016-11-29evaluate obligations in LIFO order during closure projectionAriel Ben-Yehuda-1/+1
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-87/+41
2016-11-28Refactor BuiltinBounds to Vec<DefId> on TraitObject.Mark-Simulacrum-24/+22
2016-11-28Privatize TraitObject.principal and add a method accessor, returning Option.Mark-Simulacrum-22/+28
2016-11-21Use `Symbol` instead of `InternedString` in the AST, HIR, and various other p...Jeffrey Seyfried-2/+3
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-18/+8
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-43/+121
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-3/+3