summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
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
2016-11-10rustc: clean up lookup_item_type and remove TypeScheme.Eduard Burtescu-15/+19
2016-11-10rustc: unify and simplify managing associated items.Eduard Burtescu-204/+65
2016-11-08Replace FnvHasher use with FxHasher.Nicholas Nethercote-24/+24
2016-11-06rustc: harden against InferOk having obligations in more cases.Eduard Burtescu-15/+21
2016-11-04Auto merge of #37167 - nikomatsakis:jroesch-issue-18937, r=pnkfelixbors-34/+150
2016-11-02just use full-normalization when for the impl trait refNiko Matsakis-15/+10
2016-11-02normalize trait-ref in context of implNiko Matsakis-8/+8
2016-11-01apply review feedback nitsNiko Matsakis-2/+1
2016-11-01introduce new origin for `Trait+'b`Niko Matsakis-0/+19
2016-11-01go back to supplying diagnosticNiko Matsakis-2/+3
2016-11-01compare-method lintNiko Matsakis-5/+23
2016-11-01cleanup error reporting and add `ui` testsNiko Matsakis-14/+55
2016-11-01elaborate `T: 'a` dependenciesNiko Matsakis-20/+58
2016-10-31Changed most vec! invocations to use square bracesiirelu-4/+4