Struct rustc::ty::Tables
[−]
[src]
pub struct Tables<'tcx> {
pub node_types: NodeMap<Ty<'tcx>>,
pub item_substs: NodeMap<ItemSubsts<'tcx>>,
pub adjustments: NodeMap<AutoAdjustment<'tcx>>,
pub method_map: MethodMap<'tcx>,
pub upvar_capture_map: UpvarCaptureMap,
pub closure_tys: DefIdMap<ClosureTy<'tcx>>,
pub closure_kinds: DefIdMap<ClosureKind>,
pub liberated_fn_sigs: NodeMap<FnSig<'tcx>>,
pub fru_field_types: NodeMap<Vec<Ty<'tcx>>>,
}rustc_private)Fields
node_types: NodeMap<Ty<'tcx>>
rustc_private)Stores the types for various nodes in the AST. Note that this table is not guaranteed to be populated until after typeck. See typeck::check::fn_ctxt for details.
item_substs: NodeMap<ItemSubsts<'tcx>>
rustc_private)Stores the type parameters which were substituted to obtain the type of this node. This only applies to nodes that refer to entities parameterized by type parameters, such as generic fns, types, or other items.
adjustments: NodeMap<AutoAdjustment<'tcx>>
rustc_private)method_map: MethodMap<'tcx>
rustc_private)upvar_capture_map: UpvarCaptureMap
rustc_private)Borrows
closure_tys: DefIdMap<ClosureTy<'tcx>>
rustc_private)Records the type of each closure. The def ID is the ID of the expression defining the closure.
closure_kinds: DefIdMap<ClosureKind>
rustc_private)Records the type of each closure. The def ID is the ID of the expression defining the closure.
liberated_fn_sigs: NodeMap<FnSig<'tcx>>
rustc_private)For each fn, records the "liberated" types of its arguments and return type. Liberated means that all bound regions (including late-bound regions) are replaced with free equivalents. This table is not used in trans (since regions are erased there) and hence is not serialized to metadata.
fru_field_types: NodeMap<Vec<Ty<'tcx>>>
rustc_private)For each FRU expression, record the normalized types of the fields of the struct - this is needed because it is non-trivial to normalize while preserving regions. This table is used only in MIR construction and hence is not serialized to metadata.