summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
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
2017-04-24Add compile-fail test.Without Boats-1/+1
2017-04-23Associated consts are not object safe.Without Boats-0/+9
2017-04-23Auto merge of #41486 - arielb1:select-where, r=eddybbors-1/+6
2017-04-23Clean up closure type mismatch errorsEsteban Küber-8/+58
2017-04-23traits::select: quickly filter out predicates from other traitsAriel Ben-Yehuda-1/+6
2017-04-23clean-up adt_sized_constraint now that it uses on-demandAriel Ben-Yehuda-5/+3
2017-04-22bail out of selection when there are multiple surviving candidatesAriel Ben-Yehuda-7/+7
2017-04-22avoid calling `mk_region` unnecessarilyAriel Ben-Yehuda-2/+2
2017-04-21move the uses of the trans caches into rustc::traitsNiko Matsakis-4/+143
2017-04-21move the trans trait caches into tcxNiko Matsakis-0/+74
2017-04-20Rollup merge of #41377 - nikomatsakis:issue-41298-ICE-inference, r=eddybCorey Farwell-8/+17
2017-04-20Rollup merge of #41214 - estebank:less-multiline, r=petrochenkovCorey Farwell-15/+13
2017-04-19propagate other obligations that were left outNiko Matsakis-4/+13