about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
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
2017-05-15Re-introduce cycle-check in assoc. item resolution.Michael Woerister-7/+33
2017-05-15Remove interior mutability from TraitDef by turning fields into queries.Michael Woerister-48/+91
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-7/+4
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-1/+1
2017-05-13rustc: uniformly compute ParameterEnvironment's "free outlive scope".Eduard-Mihai Burtescu-3/+1
2017-05-08Remove need for &format!(...) or &&"" dances in `span_label` callsOliver Schneider-11/+11
2017-05-02Store interned predicates in ParameterEnvironmentTobias Schottdorf-5/+13
2017-05-02Rollup merge of #41662 - nikomatsakis:on-demandify-region-mapping, r=eddybCorey Farwell-13/+13
2017-05-02Auto merge of #41488 - estebank:closure-args, r=arielb1bors-8/+103
2017-04-30introduce per-fn RegionMapsTaylor Cramer-5/+7
2017-04-30intern CodeExtentsNiko Matsakis-4/+4
2017-04-30remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENTNiko Matsakis-4/+2
2017-04-30On-demandify region mappingTaylor Cramer-1/+1
2017-04-27Auto merge of #37860 - giannicic:defaultimpl, r=nagisabors-1/+28
2017-04-26 support `default impl` for specializationGianni Ciccarelli-0/+5
2017-04-26Auto merge of #41504 - eddyb:query-api, r=nikomatsakisbors-26/+26
2017-04-25 support `default impl` for specializationGianni Ciccarelli-23/+23
2017-04-24Reorder code, fix unittestsEsteban Küber-52/+97
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-26/+26
2017-04-24support `default impl` for specializationGianni Ciccarelli-1/+23
2017-04-24Fix type error.Without Boats-1/+1