Struct rustc_middle::arena::Arena

pub struct Arena<'tcx> {
    pub dropless: DroplessArena,
    drop: DropArena,
    layouts: TypedArena<Layout>,
    adt_def: TypedArena<AdtDef>,
    steal_mir: TypedArena<Steal<Body<'tcx>>>,
    mir: TypedArena<Body<'tcx>>,
    steal_promoted: TypedArena<Steal<IndexVec<Promoted, Body<'tcx>>>>,
    promoted: TypedArena<IndexVec<Promoted, Body<'tcx>>>,
    typeck_results: TypedArena<TypeckResults<'tcx>>,
    borrowck_result: TypedArena<BorrowCheckResult<'tcx>>,
    unsafety_check_result: TypedArena<UnsafetyCheckResult>,
    const_allocs: TypedArena<Allocation>,
    mir_keys: PhantomData<DefIdSet>,
    region_scope_tree: TypedArena<ScopeTree>,
    dropck_outlives: TypedArena<Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>>,
    normalize_projection_ty: TypedArena<Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>>,
    implied_outlives_bounds: TypedArena<Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>>,
    type_op_subtype: TypedArena<Canonical<'tcx, QueryResponse<'tcx, ()>>>,
    type_op_normalize_poly_fn_sig: TypedArena<Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>>,
    type_op_normalize_fn_sig: TypedArena<Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>>,
    type_op_normalize_predicate: TypedArena<Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>>,
    type_op_normalize_ty: TypedArena<Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>>,
    all_traits: PhantomData<Vec<DefId>>,
    privacy_access_levels: PhantomData<AccessLevels>,
    foreign_module: PhantomData<ForeignModule>,
    foreign_modules: PhantomData<Vec<ForeignModule>>,
    upvars_mentioned: TypedArena<FxIndexMap<HirId, Upvar>>,
    object_safety_violations: TypedArena<ObjectSafetyViolation>,
    codegen_unit: TypedArena<CodegenUnit<'tcx>>,
    attribute: TypedArena<Attribute>,
    name_set: TypedArena<FxHashSet<Symbol>>,
    hir_id_set: TypedArena<HirIdSet>,
    tys: TypedArena<TyS<'tcx>>,
    predicates: TypedArena<PredicateInner<'tcx>>,
    indexed_hir: PhantomData<IndexedHir<'tcx>>,
    hir_definitions: PhantomData<Definitions>,
    hir_owner: TypedArena<Owner<'tcx>>,
    hir_owner_nodes: TypedArena<OwnerNodes<'tcx>>,
    asm_template: TypedArena<InlineAsmTemplatePiece>,
    span: TypedArena<Span>,
    used_trait_imports: TypedArena<FxHashSet<LocalDefId>>,
}

Fields

dropless: DroplessArena

drop: DropArena

layouts: TypedArena<Layout>

adt_def: TypedArena<AdtDef>

steal_mir: TypedArena<Steal<Body<'tcx>>>

mir: TypedArena<Body<'tcx>>

steal_promoted: TypedArena<Steal<IndexVec<Promoted, Body<'tcx>>>>

promoted: TypedArena<IndexVec<Promoted, Body<'tcx>>>

typeck_results: TypedArena<TypeckResults<'tcx>>

borrowck_result: TypedArena<BorrowCheckResult<'tcx>>

unsafety_check_result: TypedArena<UnsafetyCheckResult>

const_allocs: TypedArena<Allocation>

mir_keys: PhantomData<DefIdSet>

region_scope_tree: TypedArena<ScopeTree>

dropck_outlives: TypedArena<Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>>

normalize_projection_ty: TypedArena<Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>>

implied_outlives_bounds: TypedArena<Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>>

type_op_subtype: TypedArena<Canonical<'tcx, QueryResponse<'tcx, ()>>>

type_op_normalize_poly_fn_sig: TypedArena<Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>>

type_op_normalize_fn_sig: TypedArena<Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>>

type_op_normalize_predicate: TypedArena<Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>>

type_op_normalize_ty: TypedArena<Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>>

all_traits: PhantomData<Vec<DefId>>

privacy_access_levels: PhantomData<AccessLevels>

foreign_module: PhantomData<ForeignModule>

foreign_modules: PhantomData<Vec<ForeignModule>>

upvars_mentioned: TypedArena<FxIndexMap<HirId, Upvar>>

object_safety_violations: TypedArena<ObjectSafetyViolation>

codegen_unit: TypedArena<CodegenUnit<'tcx>>

attribute: TypedArena<Attribute>

name_set: TypedArena<FxHashSet<Symbol>>

hir_id_set: TypedArena<HirIdSet>

tys: TypedArena<TyS<'tcx>>

predicates: TypedArena<PredicateInner<'tcx>>

indexed_hir: PhantomData<IndexedHir<'tcx>>

hir_definitions: PhantomData<Definitions>

hir_owner: TypedArena<Owner<'tcx>>

hir_owner_nodes: TypedArena<OwnerNodes<'tcx>>

asm_template: TypedArena<InlineAsmTemplatePiece>

span: TypedArena<Span>

used_trait_imports: TypedArena<FxHashSet<LocalDefId>>

Implementations

impl<'tcx> Arena<'tcx>

pub fn alloc<T: ArenaAllocatable<'tcx, U>, U>(&self, value: T) -> &mut T

pub fn alloc_slice<T: Copy>(&self, value: &[T]) -> &mut [T]

pub fn alloc_from_iter<'a, T: ArenaAllocatable<'tcx, U>, U>(
    &'a self,
    iter: impl IntoIterator<Item = T>
) -> &'a mut [T]

Trait Implementations

impl<'tcx> Default for Arena<'tcx>

pub fn default() -> Arena<'tcx>

Returns the "default value" for a type.