summary refs log tree commit diff
path: root/src/librustc/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2017-06-01strip param-env from infcxNiko Matsakis-33/+44
2017-06-01move projection mode into parameter environmentNiko Matsakis-4/+5
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-4/+4
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-5/+5
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-2/+2
2017-05-15Remove interior mutability from TraitDef by turning fields into queries.Michael Woerister-2/+16
2017-05-02Store interned predicates in ParameterEnvironmentTobias Schottdorf-5/+13
2017-04-30introduce per-fn RegionMapsTaylor Cramer-5/+7
2017-04-30intern CodeExtentsNiko Matsakis-1/+1
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-1/+1
2017-04-22avoid calling `mk_region` unnecessarilyAriel Ben-Yehuda-1/+1
2017-04-21move the trans trait caches into tcxNiko Matsakis-0/+1
2017-04-15Remove MethodMatchResult and MethodMatchedData.Mark Simulacrum-2/+0
2017-04-11use obligations to propagate sub-typing instead of the TV codeNiko Matsakis-1/+4
2017-03-30add an `ObligationCauseCode` we'll use later (`ReturnNoExpression`)Niko Matsakis-0/+3
2017-03-18resolve instances to ty::Instance directlyAriel Ben-Yehuda-1/+1
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-1/+0
2017-02-16erase late bound regions in `get_vtable_methods()`Niko Matsakis-0/+5
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-2/+2
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-4/+4
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-23/+22
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-0/+30
2016-11-10rustc: clean up lookup_item_type and remove TypeScheme.Eduard Burtescu-1/+1
2016-11-10rustc: unify and simplify managing associated items.Eduard Burtescu-12/+8
2016-11-01introduce new origin for `Trait+'b`Niko Matsakis-0/+3
2016-11-01compare-method lintNiko Matsakis-1/+3
2016-11-01cleanup error reporting and add `ui` testsNiko Matsakis-1/+5
2016-09-20rustc_trans: simplify vtable and symbol handling.Eduard Burtescu-1/+83
2016-09-20rustc_metadata: go only through rustc_serialize in astencode.Eduard Burtescu-1/+1
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-2/+2
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-0/+1
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-2/+2
2016-07-02Auto merge of #34443 - eddyb:sized-matters, r=arielb1bors-0/+3
2016-06-26Disallow constants and statics from having unsized types.Eduard Burtescu-0/+3
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-1/+1
2016-05-31create but do not use a projection cacheNiko Matsakis-2/+3
2016-05-25refactor autoderef to avoid registering obligationsAriel Ben-Yehuda-1/+1
2016-05-17introduce a specializes cacheNiko Matsakis-0/+1
2016-05-11Plumb inference obligations through selectionMasood Malekghassemi-0/+12
2016-05-11Add inferred obligation storage to all Vtable variants and SelectionContextMasood Malekghassemi-10/+26
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-5/+10
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-5/+5
2016-05-11rustc: Wrap users of InferCtxt in an anonymous scope.Eduard Burtescu-35/+36
2016-05-11rustc: Remove the TyCtxt field from ParameterEnvironment.Eduard Burtescu-5/+5
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-2/+2
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-20/+4
2016-05-11infer: Use methods for creating an InferCtxt.Eduard Burtescu-5/+3
2016-05-03change the newly-added errors to warningsAriel Ben-Yehuda-0/+1
2016-05-03require the non-last elements of a tuple to be SizedAriel Ben-Yehuda-1/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 14:55:34 +0000