summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2016-12-14evaluate obligations in LIFO order during closure projectionAriel Ben-Yehuda-1/+1
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
2016-10-26Auto merge of #37270 - Mark-Simulacrum:smallvec-optimized-arenas, r=eddybbors-8/+8
2016-10-25Utilize AccumulateVec to avoid heap allocations in mk_{substs, type_list, tup...Mark-Simulacrum-8/+8
2016-10-25Auto merge of #37111 - TimNN:sized-enums, r=nikomatsakisbors-2/+1
2016-10-24Rollup merge of #37324 - GuillaumeGomez:trait_error_message, r=jonathandturnerJonathan Turner-2/+4
2016-10-24disallow unsized enumsTim Neumann-2/+1
2016-10-22Fix typo that resulted in comparison-to-selfJohannes Muenzel-1/+1
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-2/+2
2016-10-21when pop skol, also remove from proj cacheNiko Matsakis-2/+8
2016-10-21Improve E0277 help messageGuillaume Gomez-2/+4
2016-10-19Rollup merge of #37241 - zackmdavis:if_let_over_none_spaced_empty_block_arm, ...Guillaume Gomez-11/+7
2016-10-19Use TypedArena::alloc_slice in rustc.Mark-Simulacrum-1/+1
2016-10-17prefer `if let` to match with `None => { }` arm in some placesZack M. Davis-11/+7
2016-10-14add a per-param-env cache to `impls_bound`Ariel Ben-Yehuda-1/+1
2016-10-03Optimize plug_leaks some more.Nicholas Nethercote-3/+3
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