summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2017-11-16Nit: rework region obligations to a snapshotted vectorNiko Matsakis-2/+1
2017-11-16convert TODO in traits into a FIXMENiko Matsakis-5/+8
2017-11-15extract out the implied bounds code from `regionck`Niko Matsakis-3/+4
2017-11-15move the `region_obligations` processing code into `InferCtxt`Niko Matsakis-1/+1
2017-11-15assert that we are consuming all of the region obligationsNiko Matsakis-0/+9
2017-11-15convert EXTRA_REQUIREMENT_IN_IMPL into a hard errorNiko Matsakis-29/+8
2017-11-15move region constraints into inference contextNiko Matsakis-91/+19
2017-11-15fulfill: remove dead codeNiko Matsakis-8/+0
2017-11-15Auto merge of #45944 - eddyb:provide, r=nikomatsakisbors-11/+0
2017-11-12deduplicate projection error (E0271) messagesZack M. Davis-7/+14
2017-11-12rustc_driver: base extern query providers on local ones.Eduard-Mihai Burtescu-11/+0
2017-11-12Auto merge of #45870 - mikeyhew:arbitrary_self_types, r=arielb1bors-1/+16
2017-11-09Retain information on whether a format argument has explicit positionTommy Ip-1/+1
2017-11-08tidy things up a bitMichael Hewson-1/+3
2017-11-08move ExplicitSelf to rustc::ty::util, and use it to implement object safety c...Michael Hewson-1/+14
2017-11-05Fix MIR inlining panic in generic functionsinkuu-0/+54
2017-11-03Rename `trait_has_auto_impl` to `trait_is_auto`leonardo.yvens-2/+2
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.yvens-43/+43
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-2/+15
2017-10-25Auto merge of #45455 - kennytm:print-extern-impl-for-e0119, r=nikomatsakisbors-2/+60
2017-10-23Print the conflicting impl on E0119 with external crate.kennytm-2/+60
2017-10-21renamed queryMarco Concetto Rudilosso-1/+1
2017-10-21removed unused importMarco Concetto Rudilosso-17/+1
2017-10-21Create NormalizeTy queryMarco Concetto Rudilosso-4/+2
2017-10-17Rollup merge of #45097 - nivkner:fixme_fixup2, r=estebankkennytm-13/+2
2017-10-14Auto merge of #45137 - theotherjimmy:vtable-methods-query, r=nikomatsakisbors-44/+48
2017-10-13Auto merge of #45069 - sinkuu:tuple_arg, r=nikomatsakisbors-43/+172
2017-10-13Remove export of vtable_methodsJimmy Brisson-1/+1
2017-10-13Wrap vtable_methods return type in RCJimmy Brisson-41/+43
2017-10-13get_vtable_methods => vtable_methods queryJimmy Brisson-5/+7
2017-10-13Convert return type of get_vtable_methods to VecJimmy Brisson-2/+2
2017-10-13Rewordsinkuu-21/+30
2017-10-12Auto merge of #44967 - wesleywiser:trans_fulfill_obligation, r=nikomatsakisbors-74/+66
2017-10-10Rewordsinkuu-12/+13
2017-10-08Turn `trans_fulfill_obligation` into a queryWesley Wiser-74/+66
2017-10-08address more FIXME whose associated issues were marked as closedNiv Kaminer-13/+2
2017-10-07Add suggestionsinkuu-31/+100
2017-10-07Rename variablessinkuu-21/+21
2017-10-06Auto merge of #45065 - arielb1:not-correct, r=nikomatsakisbors-1/+1
2017-10-07Better error for missing tuple pattern in args (#44150)sinkuu-22/+72
2017-10-06fix logic error in #44269's `prune_cache_value_obligations`Ariel Ben-Yehuda-1/+1
2017-10-06Improve resolution of associated types in macros 2.0Vadim Petrochenkov-12/+14
2017-09-26Auto merge of #44741 - qmx:trans_fulfill_obligation_should_not_crash, r=nikom...bors-5/+6
2017-09-25add comment per @nikomatsakis requestDouglas Campos-0/+1
2017-09-25expose ParamEnv as a paramDouglas Campos-2/+2
2017-09-25add ParamEnv to the trait_cache keyDouglas Campos-4/+4
2017-09-23Print fn signature when there is closure argument type mismatchWonwoo Choi-66/+75
2017-09-20Fix ICEscalexm-2/+2
2017-09-20Implement `Copy`/`Clone` for closuresscalexm-7/+22
2017-09-18incr.comp.: Remove tcx from StableHashingContext.Michael Woerister-2/+2