1 /// This declares a list of types which can be allocated by `Arena`.
3 /// The `few` modifier will cause allocation to use the shared arena and recording the destructor.
4 /// This is faster and more memory efficient if there's only a few allocations of the type.
5 /// Leaving `few` out will cause the type to get its own dedicated `TypedArena` which is
6 /// faster and more memory efficient if there is lots of allocations.
8 /// Specifying the `decode` modifier will add decode impls for &T and &[T] where T is the type
9 /// listed. These impls will appear in the implement_ty_decoder! macro.
11 macro_rules! arena_types {
12 ($macro:path, $args:tt, $tcx:lifetime) => (
14 [] layouts: rustc_target::abi::Layout,
15 [] generics: rustc_middle::ty::Generics,
16 [] trait_def: rustc_middle::ty::TraitDef,
17 [] adt_def: rustc_middle::ty::AdtDef,
18 [] steal_mir: rustc_middle::ty::steal::Steal<rustc_middle::mir::Body<$tcx>>,
19 [] mir: rustc_middle::mir::Body<$tcx>,
20 [] steal_promoted: rustc_middle::ty::steal::Steal<
21 rustc_index::vec::IndexVec<
22 rustc_middle::mir::Promoted,
23 rustc_middle::mir::Body<$tcx>
26 [] promoted: rustc_index::vec::IndexVec<
27 rustc_middle::mir::Promoted,
28 rustc_middle::mir::Body<$tcx>
30 [decode] tables: rustc_middle::ty::TypeckTables<$tcx>,
31 [decode] borrowck_result: rustc_middle::mir::BorrowCheckResult<$tcx>,
32 [] const_allocs: rustc_middle::mir::interpret::Allocation,
33 [] vtable_method: Option<(
34 rustc_hir::def_id::DefId,
35 rustc_middle::ty::subst::SubstsRef<$tcx>
37 [few, decode] mir_keys: rustc_hir::def_id::DefIdSet,
38 [decode] specialization_graph: rustc_middle::traits::specialization_graph::Graph,
39 [] region_scope_tree: rustc_middle::middle::region::ScopeTree,
40 [] item_local_set: rustc_hir::ItemLocalSet,
41 [decode] mir_const_qualif: rustc_index::bit_set::BitSet<rustc_middle::mir::Local>,
42 [] trait_impls_of: rustc_middle::ty::trait_def::TraitImpls,
43 [] associated_items: rustc_middle::ty::AssociatedItems,
45 rustc_middle::infer::canonical::Canonical<'tcx,
46 rustc_middle::infer::canonical::QueryResponse<'tcx,
47 rustc_middle::traits::query::DropckOutlivesResult<'tcx>
50 [] normalize_projection_ty:
51 rustc_middle::infer::canonical::Canonical<'tcx,
52 rustc_middle::infer::canonical::QueryResponse<'tcx,
53 rustc_middle::traits::query::NormalizationResult<'tcx>
56 [] implied_outlives_bounds:
57 rustc_middle::infer::canonical::Canonical<'tcx,
58 rustc_middle::infer::canonical::QueryResponse<'tcx,
59 Vec<rustc_middle::traits::query::OutlivesBound<'tcx>>
63 rustc_middle::infer::canonical::Canonical<'tcx,
64 rustc_middle::infer::canonical::QueryResponse<'tcx, ()>
66 [] type_op_normalize_poly_fn_sig:
67 rustc_middle::infer::canonical::Canonical<'tcx,
68 rustc_middle::infer::canonical::QueryResponse<'tcx, rustc_middle::ty::PolyFnSig<'tcx>>
70 [] type_op_normalize_fn_sig:
71 rustc_middle::infer::canonical::Canonical<'tcx,
72 rustc_middle::infer::canonical::QueryResponse<'tcx, rustc_middle::ty::FnSig<'tcx>>
74 [] type_op_normalize_predicate:
75 rustc_middle::infer::canonical::Canonical<'tcx,
76 rustc_middle::infer::canonical::QueryResponse<'tcx, rustc_middle::ty::Predicate<'tcx>>
78 [] type_op_normalize_ty:
79 rustc_middle::infer::canonical::Canonical<'tcx,
80 rustc_middle::infer::canonical::QueryResponse<'tcx, rustc_middle::ty::Ty<'tcx>>
82 [few] crate_inherent_impls: rustc_middle::ty::CrateInherentImpls,
83 [few] upstream_monomorphizations:
84 rustc_hir::def_id::DefIdMap<
85 rustc_data_structures::fx::FxHashMap<
86 rustc_middle::ty::subst::SubstsRef<'tcx>,
87 rustc_hir::def_id::CrateNum
90 [few] diagnostic_items: rustc_data_structures::fx::FxHashMap<
91 rustc_span::symbol::Symbol,
92 rustc_hir::def_id::DefId,
94 [few] resolve_lifetimes: rustc_middle::middle::resolve_lifetime::ResolveLifetimes,
95 [few] lint_levels: rustc_middle::lint::LintLevelMap,
96 [few] stability_index: rustc_middle::middle::stability::Index<'tcx>,
97 [few] features: rustc_feature::Features,
98 [few] all_traits: Vec<rustc_hir::def_id::DefId>,
99 [few] privacy_access_levels: rustc_middle::middle::privacy::AccessLevels,
100 [few] target_features_whitelist: rustc_data_structures::fx::FxHashMap<
102 Option<rustc_span::symbol::Symbol>
104 [few] wasm_import_module_map: rustc_data_structures::fx::FxHashMap<
105 rustc_hir::def_id::DefId,
108 [few] get_lib_features: rustc_middle::middle::lib_features::LibFeatures,
109 [few] defined_lib_features: rustc_hir::lang_items::LanguageItems,
110 [few] visible_parent_map: rustc_hir::def_id::DefIdMap<rustc_hir::def_id::DefId>,
111 [few] foreign_module: rustc_middle::middle::cstore::ForeignModule,
112 [few] foreign_modules: Vec<rustc_middle::middle::cstore::ForeignModule>,
113 [few] reachable_non_generics: rustc_hir::def_id::DefIdMap<
114 rustc_middle::middle::exported_symbols::SymbolExportLevel
116 [few] crate_variances: rustc_middle::ty::CrateVariancesMap<'tcx>,
117 [few] inferred_outlives_crate: rustc_middle::ty::CratePredicatesMap<'tcx>,
118 [] upvars: rustc_data_structures::fx::FxIndexMap<rustc_hir::HirId, rustc_hir::Upvar>,
119 [] object_safety_violations: rustc_middle::traits::ObjectSafetyViolation,
120 [] codegen_unit: rustc_middle::mir::mono::CodegenUnit<$tcx>,
121 [] attribute: rustc_ast::ast::Attribute,
122 [] name_set: rustc_data_structures::fx::FxHashSet<rustc_ast::ast::Name>,
123 [] hir_id_set: rustc_hir::HirIdSet,
126 [] tys: rustc_middle::ty::TyS<$tcx>,
129 [few] indexed_hir: rustc_middle::hir::map::IndexedHir<$tcx>,
130 [few] hir_definitions: rustc_hir::definitions::Definitions,
131 [] hir_owner: rustc_middle::hir::Owner<$tcx>,
132 [] hir_owner_nodes: rustc_middle::hir::OwnerNodes<$tcx>,
137 arena_types!(arena::declare_arena, [], 'tcx);