summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2016-11-04Long linesBrian Anderson-1/+2
2016-11-03normalize trait-ref in context of implNiko Matsakis-8/+8
2016-11-03add a per-param-env cache to `impls_bound`Ariel Ben-Yehuda-1/+1
2016-09-20rustc_trans: simplify vtable and symbol handling.Eduard Burtescu-2/+121
2016-09-20rustc: remove ImplOrTraitItemId and TraitDef's associated_type_names.Eduard Burtescu-2/+2
2016-09-20rustc_metadata: move more RBML tags to auto-serialization.Eduard Burtescu-48/+17
2016-09-20rustc_metadata: go only through rustc_serialize in astencode.Eduard Burtescu-3/+2
2016-09-14clear obligations-added flag with nested fulfillcxNiko Matsakis-22/+24
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-33/+27
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-2/+2
2016-09-03Some better support for unions through the compilerVadim Petrochenkov-1/+2
2016-09-03Add union typesVadim Petrochenkov-4/+7
2016-09-01Auto merge of #35761 - nikomatsakis:faster-trans-fulfill-obligation, r=eddybbors-17/+20
2016-09-01turn the RFC1592 warnings into hard errorsAriel Ben-Yehuda-153/+31
2016-08-31remove `normalize_infer_ctxt` constructorNiko Matsakis-1/+1
2016-08-31remove unneccessary uses of `drain_fulfillment_cx`Niko Matsakis-16/+19
2016-08-28Rollup merge of #35917 - jseyfried:remove_attr_ext_traits, r=nrcJeffrey Seyfried-1/+0
2016-08-27Rollup merge of #35985 - 0xmohit:pr/error-code-E0277, r=jonathandturnerJonathan Turner-2/+3
2016-08-27rustc: use Vec<Kind> in Substs, where Kind is a &TyS | &Region tagged pointer.Eduard Burtescu-24/+22
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-9/+11
2016-08-27rustc: use accessors for Substs::{types,regions}.Eduard Burtescu-26/+21
2016-08-25Refactor away `AttrMetaMethods`.Jeffrey Seyfried-1/+0
2016-08-25Refactor away `AttributeMethods`.Jeffrey Seyfried-1/+1
2016-08-25Update E0277 to new error formatMohit Agarwal-2/+3
2016-08-17Display secondary span for E0053 for Sort TypeErrorsKeith Yeung-1/+1
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-18/+16
2016-08-17rustc: split GenericPredicates of a method from its parent predicates.Eduard Burtescu-14/+12
2016-08-17rustc: split Generics of a method from its parent Generics.Eduard Burtescu-10/+5
2016-08-17rustc: remove SelfSpace from ParamSpace.Eduard Burtescu-13/+6
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-77/+56
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-32/+28
2016-08-17rustc: move defaulting's use of &mut Substs from InferCtxt to typeck.Eduard Burtescu-25/+6
2016-08-17rustc: avoid using subst::VecPerParamSpace::{empty,new} directly.Eduard Burtescu-3/+1
2016-08-17rustc: force all raw accesses to VecPerParamSpace through as_full_slice.Eduard Burtescu-1/+1
2016-08-17rustc: move the SelfSpace before TypeSpace in Substs.Eduard Burtescu-3/+4
2016-08-17rustc: use Vec instead of VecPerParamSpace for ty::GenericPredicates.Eduard Burtescu-3/+3
2016-08-13Rename empty/bang to neverAndrew Cann-5/+5
2016-08-13Remove obsolete divergence related stuffAndrew Cann-7/+5
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-2/+5
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-20/+330
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-29/+55
2016-08-12rustc: don't reveal specializable polymorphic projections.Eduard Burtescu-35/+36
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-41/+16
2016-08-11Rollup merge of #35576 - circuitfox:E0072-update-error-format, r=jonathandturnerJonathan Turner-0/+1
2016-08-10E0072 update error formatChris Stankus-0/+1
2016-08-09Update E0038 to the new error formatPanashe M. Fundira-4/+9
2016-08-07Rollup merge of #35366 - medzin:E0282, r=jonathandturnerJonathan Turner-4/+6
2016-08-06Updated error message E0282Adam MedziƄski-4/+6
2016-08-01Improve diagnostics for pattern bindings that illegally shadow items.Jeffrey Seyfried-1/+0
2016-07-22use diagnostic-mutating style for `note_type_err` tooAriel Ben-Yehuda-8/+5