[12/12] On-demand type-checking, const-evaluation, MIR building & const-qualification.#40008

Merged

bors merged 17 commits intorust-lang:masterfrom

Feb 28, 2017

Commits on Feb 25, 2017

rustc: store type parameter defaults outside of ty::Generics.
eddyb
committed
rustc_typeck: simplify AstConv requests as implemented by collect.
eddyb
committed
rustc: move the actual values of enum discriminants into a map.
eddyb
committed
rustc: consolidate dep-tracked hashmaps in tcx.maps.
eddyb
committed
rustc: introduce a query system for type information in ty::maps.
eddyb
committed
rustc_mir: expose MIR building through ty::maps::Provider.
eddyb
committed
rustc_typeck: lift CrateCtxt to TyCtxt.
eddyb
committed
rustc_typeck: don't use Result for get_type_parameter_bounds and ensure_super_predicates.
eddyb
committed
rustc: combine BareFnTy and ClosureTy into FnSig.
eddyb
committed
rustc: simplify tcx.closure_type(...) as it can copy the cached values.
eddyb
committed
rustc_typeck: move the leaves (generics, trait_def, adt_def) to on-demand.
eddyb
committed
rustc_typeck: hook up collect and item/body check to on-demand.
eddyb
committed
rustc: allow handling cycle errors gracefully in on-demand.
eddyb
committed
rustc_typeck: rework coherence to be almost completely on-demand.
eddyb
committed
rustc_const_eval: always demand typeck_tables for evaluating constants.
eddyb
committed
rustc_const_eval: demand that the MIR qualify_consts ran on each evaluated body.
eddyb
committed

Commits on Feb 28, 2017

rustc_save_analysis: don't pollute the codemap with fake files.
eddyb
committed