summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2017-08-23make `for_all_relevant_impls` O(1) againAriel Ben-Yehuda-10/+8
2017-08-17Revert "Auto merge of #42840 - arielb1:poison-smoke-and-mirrors, r=nikomatsakis"Ariel Ben-Yehuda-179/+161
2017-08-17Revert "Auto merge of #43184 - nikomatsakis:incr-comp-anonymize-trait-selecti...Ariel Ben-Yehuda-71/+56
2017-08-17Revert "save the subobligations as well"Ariel Ben-Yehuda-12/+6
2017-08-12save the subobligations as wellNiko Matsakis-6/+12
2017-07-15Auto merge of #43184 - nikomatsakis:incr-comp-anonymize-trait-selection, r=mi...bors-56/+71
2017-07-12Rollup merge of #43000 - estebank:on-unimplemented-path, r=arielb1Mark Simulacrum-0/+4
2017-07-12integrate anon dep nodes into trait selectionNiko Matsakis-56/+71
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-40/+38
2017-07-07return EvaluatedToRecur when evaluating a recursive obligation treeAriel Ben-Yehuda-27/+97
2017-07-07use the evaluation cache instead of the global fulfillment cacheAriel Ben-Yehuda-98/+39
2017-07-07use dep-graph reads for the evaluation cacheAriel Ben-Yehuda-0/+4
2017-07-07prevent illegal coinductive matching in trait evaluationAriel Ben-Yehuda-38/+41
2017-07-05use field init shorthand in src/librustcZack M. Davis-50/+50
2017-07-05`rustc_on_unimplemented` supports referring to traitEsteban Küber-0/+4
2017-06-29Correct comments about unsizing regarding #40319.Masaki Hara-3/+3
2017-06-29Add unsized tuple coercions.Masaki Hara-1/+37
2017-06-29Check explicitly that tuple initializer is Sized.Masaki Hara-0/+8
2017-06-29Auto merge of #42642 - venkatagiri:issue_42312, r=nikomatsakisbors-8/+10
2017-06-28Auto merge of #42797 - arielb1:ex-falso-ice, r=nikomatsakisbors-2/+5
2017-06-28rustc_typeck: use body-id of type-checking item in need_type_infoVenkata Giri Reddy-8/+10
2017-06-28Auto merge of #42850 - estebank:unwanted-return-rotj, r=nikomatsakisbors-49/+52
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-17/+30
2017-06-27rustc: rename closure_type to fn_sig.Eduard-Mihai Burtescu-2/+2
2017-06-24Detect missing `;` on methods with return type `()`Esteban Küber-49/+52
2017-06-21avoid translating roots with predicates that do not holdAriel Ben-Yehuda-2/+5
2017-06-14suppress trait errors that are implied by other errorsAriel Ben-Yehuda-155/+92
2017-06-12Auto merge of #42537 - michaelwoerister:tcx-for-dep-node, r=nikomatsakisbors-15/+21
2017-06-10rustc: make the comon case of tcx.infer_ctxt(()) nicer.Eduard-Mihai Burtescu-14/+17
2017-06-10rustc: do not depend on infcx.tables in MemCategorizationContext.Eduard-Mihai Burtescu-11/+3
2017-06-09incr.comp.: Uniformly represent DepNodes as (Kind, StableHash) pairs.Michael Woerister-15/+21
2017-06-07Cover all cases in closure errorsTommy Ip-5/+6
2017-06-06Update closure errors to emit context for FnMutTommy Ip-7/+12
2017-06-05Better closure error messageTommy Ip-5/+27
2017-06-01pacify the mercilous tidyNiko Matsakis-5/+16
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-77/+44
2017-06-01strip param-env from infcxNiko Matsakis-131/+263
2017-06-01move projection mode into parameter environmentNiko Matsakis-16/+19
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-12/+15
2017-05-30Syntax highlight all rust code in librustc/traits/README.mdbjorn3-19/+31
2017-05-23Auto merge of #42015 - nikomatsakis:chalk-trait-env-2, r=eddybbors-22/+22
2017-05-23Auto merge of #41559 - GuillaumeGomez:partial-eq-msg, r=estebankbors-10/+18
2017-05-22two more style nitsNiko Matsakis-10/+10
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-6/+6
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-7/+7
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-3/+3
2017-05-17Add better error message when == operator is badly usedGuillaume Gomez-10/+18
2017-05-16Remove unreachable branches in traits::projectMichael Woerister-116/+72
2017-05-16Don't use queries::try_get() in assoc_ty projectionMichael Woerister-25/+16
2017-05-15Share lists of blanket impls in results of relevant_impls_for() query.Michael Woerister-1/+13