rust/src/librustc_const_eval
bors c80c31a502 Auto merge of #38053 - eddyb:lazy-9, r=nikomatsakis
[9/n] rustc: move type information out of AdtDef and TraitDef.

_This is part of a series ([prev](https://github.com/rust-lang/rust/pull/37688) | [next]()) of patches designed to rework rustc into an out-of-order on-demand pipeline model for both better feature support (e.g. [MIR-based](https://github.com/solson/miri) early constant evaluation) and incremental execution of compiler passes (e.g. type-checking), with beneficial consequences to IDE support as well.
If any motivation is unclear, please ask for additional PR description clarifications or code comments._

<hr>

Both `AdtDef` and `TraitDef` contained type information (field types, generics and predicates) which was required to create them, preventing their use before that type information exists, or in the case of field types, *mutation* was required, leading to a variance-magicking implementation of `ivar`s.

This PR takes that information out and the resulting cleaner setup could even eventually end up merged with HIR, because, just like `AssociatedItem` before it, there's no dependency on types anymore.
(With one exception, variant discriminants should probably be moved into their own map later.)
2016-12-02 15:06:36 +00:00
..
Cargo.toml change match checking to use HAIR 2016-10-26 22:41:17 +03:00
_match.rs rustc: simplify AdtDef by removing the field types and ty::ivar. 2016-11-29 21:24:26 +02:00
check_match.rs revamp `Visitor` with a single method for controlling nested visits 2016-11-29 13:04:27 +01:00
diagnostics.rs Uncomment some long error explanation 2016-11-14 00:39:14 +01:00
eval.rs Fix rebase breakage 2016-11-29 13:04:27 +01:00
lib.rs Update the bootstrap compiler 2016-11-30 10:38:08 -08:00
pattern.rs rustc: simplify AdtDef by removing the field types and ty::ivar. 2016-11-29 21:24:26 +02:00