summary refs log tree commit diff
path: root/src/librustc/ty/maps.rs
AgeCommit message (Expand)AuthorLines
2017-04-23cache ADT dtorck resultsAriel Ben-Yehuda-0/+8
2017-04-23clean-up adt_sized_constraint now that it uses on-demandAriel Ben-Yehuda-1/+1
2017-04-23rustc: make the const-eval cache polymorphic.Eduard-Mihai Burtescu-5/+27
2017-04-22add a cache to impl_polarityAriel Ben-Yehuda-0/+2
2017-04-21make `reachable_set` ref-countedNiko Matsakis-1/+1
2017-04-21introduce `is_foreign_item` queryNiko Matsakis-0/+3
2017-04-16rustc_const_eval: move ConstEvalErr to the rustc crate.Eduard-Mihai Burtescu-2/+2
2017-04-12Rollup merge of #41063 - nikomatsakis:issue-40746-always-exec-loops, r=eddybTim Neumann-0/+2
2017-04-04push `borrowck` into its own taskNiko Matsakis-0/+2
2017-04-04On-demandify reachabilityTaylor Cramer-0/+12
2017-03-28On-demandify the typechecking of item bodiesTaylor Cramer-0/+14
2017-03-27Rollup merge of #40683 - nikomatsakis:incr-comp-coerce-unsized-info, r=eddybAlex Crichton-8/+22
2017-03-23convert privacy access levels into a queryNiko Matsakis-0/+10
2017-03-23convert inherent-impl-related things to on-demand queriesNiko Matsakis-6/+20
2017-03-23convert `custom_coerce_unsized_kind` into a `coerce_unsized_info`Niko Matsakis-2/+2
2017-03-18move Instance to rustc and use it in the collectorAriel Ben-Yehuda-11/+34
2017-03-13some style fixesTshepang Lekhonkhobe-1/+1
2017-03-01convert AdtDef::destructor to on-demandAriel Ben-Yehuda-0/+1
2017-02-25rustc_const_eval: demand that the MIR qualify_consts ran on each evaluated body.Eduard-Mihai Burtescu-0/+5
2017-02-25rustc_const_eval: always demand typeck_tables for evaluating constants.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-0/+49
2017-02-25rustc: allow handling cycle errors gracefully in on-demand.Eduard-Mihai Burtescu-30/+70
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-31/+53
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc_typeck: don't use Result for get_type_parameter_bounds and ensure_super...Eduard-Mihai Burtescu-2/+95
2017-02-25rustc_typeck: lift CrateCtxt to TyCtxt.Eduard Burtescu-0/+13
2017-02-25rustc: introduce a query system for type information in ty::maps.Eduard Burtescu-31/+88
2017-02-25rustc: consolidate dep-tracked hashmaps in tcx.maps.Eduard-Mihai Burtescu-26/+90
2017-02-25rustc: move the actual values of enum discriminants into a map.Eduard-Mihai Burtescu-0/+2
2017-02-25rustc: store type parameter defaults outside of ty::Generics.Eduard-Mihai Burtescu-1/+1
2017-02-02rejigger how we handle used trait importsNiko Matsakis-0/+2
2017-01-25rename `Tables` to `TypeckTables`Niko Matsakis-1/+1
2017-01-06rustc: store ty::Tables separately for each body (except closures').Eduard-Mihai Burtescu-0/+1
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-0/+2
2016-11-29rustc: simplify AdtDef by removing the field types and ty::ivar.Eduard-Mihai Burtescu-1/+2
2016-11-29rustc: remove type information from TraitDef.Eduard-Mihai Burtescu-1/+1
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-5/+3
2016-10-28rustc: move the MIR map into TyCtxt.Eduard Burtescu-0/+4
2016-09-20rustc: remove ImplOrTraitItemId and TraitDef's associated_type_names.Eduard Burtescu-2/+1
2016-09-20rustc_metadata: move more RBML tags to auto-serialization.Eduard Burtescu-2/+2
2016-09-06write to inherent_impls during the visitorNiko Matsakis-1/+1
2016-08-27rustc: use Vec<Kind> in Substs, where Kind is a &TyS | &Region tagged pointer.Eduard Burtescu-1/+1
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-2/+3
2016-04-06break dep-graph into modules, parameterize DepNodeNiko Matsakis-1/+1
2016-04-06rustc: move middle::{def,def_id,pat_util} to hir.Eduard Burtescu-1/+1
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-0/+45