summary refs log tree commit diff
path: root/src/librustc/traits/specialize
AgeCommit message (Expand)AuthorLines
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-5/+2
2017-06-01strip param-env from infcxNiko Matsakis-14/+24
2017-06-01move projection mode into parameter environmentNiko Matsakis-3/+3
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-2/+2
2017-05-15Share lists of blanket impls in results of relevant_impls_for() query.Michael Woerister-1/+13
2017-05-15Remove interior mutability from TraitDef by turning fields into queries.Michael Woerister-10/+65
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-3/+1
2017-05-13rustc: uniformly compute ParameterEnvironment's "free outlive scope".Eduard-Mihai Burtescu-3/+1
2017-04-30remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENTNiko Matsakis-2/+1
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-2/+2
2017-04-19propagate other obligations that were left outNiko Matsakis-4/+3
2017-04-15rustc: ban registering obligations during InferCtxt snapshots.Eduard-Mihai Burtescu-1/+1
2017-04-14Further update with response to feedbackSean Griffin-8/+2
2017-04-14Implement RFC 1268Sean Griffin-0/+10
2017-03-18resolve instances to ty::Instance directlyAriel Ben-Yehuda-13/+12
2017-03-13some style fixesTshepang Lekhonkhobe-2/+2
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-2/+2
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-3/+3
2016-12-05erase lifetimes when translating specialized substsAriel Ben-Yehuda-0/+1
2016-11-29rustc: remove type information from TraitDef.Eduard-Mihai Burtescu-8/+6
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-3/+5
2016-11-10rustc: unify and simplify managing associated items.Eduard Burtescu-129/+16
2016-11-08Replace FnvHasher use with FxHasher.Nicholas Nethercote-6/+6
2016-11-06rustc: harden against InferOk having obligations in more cases.Eduard Burtescu-9/+13
2016-11-02just use full-normalization when for the impl trait refNiko Matsakis-15/+10
2016-11-02normalize trait-ref in context of implNiko Matsakis-8/+8
2016-09-20rustc_trans: simplify vtable and symbol handling.Eduard Burtescu-1/+38
2016-09-20rustc: remove ImplOrTraitItemId and TraitDef's associated_type_names.Eduard Burtescu-2/+2
2016-09-20rustc_metadata: move more RBML tags to auto-serialization.Eduard Burtescu-47/+16
2016-09-14clear obligations-added flag with nested fulfillcxNiko Matsakis-22/+24
2016-08-31remove `normalize_infer_ctxt` constructorNiko Matsakis-1/+1
2016-08-31remove unneccessary uses of `drain_fulfillment_cx`Niko Matsakis-16/+19
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-5/+4
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-18/+14
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-5/+4
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-1/+1
2016-05-25catch attempts to leak obligations out of snapshotsAriel Ben-Yehuda-42/+40
2016-05-17introduce a specializes cacheNiko Matsakis-2/+30
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-5/+11
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-2/+2
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-22/+23
2016-05-11rustc: Wrap users of InferCtxt in an anonymous scope.Eduard Burtescu-52/+67
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-16/+23
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-23/+23
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-7/+6
2016-05-11infer: Use methods for creating an InferCtxt.Eduard Burtescu-3/+3
2016-04-12Remove unused trait importsSeo Sanghyeon-2/+0
2016-04-07Rollup merge of #32748 - aturon:simplified-spec, r=nikomatsakisManish Goregaokar-56/+149
2016-04-06rustc: move middle::{def,def_id,pat_util} to hir.Eduard Burtescu-2/+2
2016-04-05Reinstate fast_reject for overlap checkingAaron Turon-56/+149
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 07:57:01 +0000