Trait rustc_middle::arena::ArenaAllocatable

pub trait ArenaAllocatable<'tcx, T = Self>: Sized {
    fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self;
    fn allocate_from_iter<'a>(
        arena: &'a Arena<'tcx>, 
        iter: impl IntoIterator<Item = Self>
    ) -> &'a mut [Self];
}

Required methods

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

Implementations on Foreign Types

impl<'tcx> ArenaAllocatable<'tcx, Layout> for Layout

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, Steal<Thir<'tcx>>> for Steal<Thir<'tcx>>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, Steal<Body<'tcx>>> for Steal<Body<'tcx>>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, Steal<IndexVec<Promoted, Body<'tcx>>>> for Steal<IndexVec<Promoted, Body<'tcx>>>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, IndexVec<Promoted, Body<'tcx>>> for IndexVec<Promoted, Body<'tcx>>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, HashSet<DefId, BuildHasherDefault<FxHasher>>> for DefIdSet

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, Vec<DefId, Global>> for Vec<DefId>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, Vec<ForeignModule, Global>> for Vec<ForeignModule>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, IndexMap<HirId, Upvar, BuildHasherDefault<FxHasher>>> for FxIndexMap<HirId, Upvar>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, Attribute> for Attribute

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, HashSet<Symbol, BuildHasherDefault<FxHasher>>> for FxHashSet<Symbol>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, HashSet<HirId, BuildHasherDefault<FxHasher>>> for HirIdSet

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, Definitions> for Definitions

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, InlineAsmTemplatePiece> for InlineAsmTemplatePiece

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, Span> for Span

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> ArenaAllocatable<'tcx, HashSet<LocalDefId, BuildHasherDefault<FxHasher>>> for FxHashSet<LocalDefId>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

Implementors

impl<'tcx> ArenaAllocatable<'tcx, ObjectSafetyViolation> for ObjectSafetyViolation

impl<'tcx> ArenaAllocatable<'tcx, IndexedHir<'tcx>> for IndexedHir<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, Owner<'tcx>> for Owner<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, OwnerNodes<'tcx>> for OwnerNodes<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, Canonical<'tcx, QueryResponse<'tcx, &'tcx TyS<'tcx>>>> for Canonical<'tcx, QueryResponse<'tcx, Ty<'tcx>>>

impl<'tcx> ArenaAllocatable<'tcx, Canonical<'tcx, QueryResponse<'tcx, ()>>> for Canonical<'tcx, QueryResponse<'tcx, ()>>

impl<'tcx> ArenaAllocatable<'tcx, Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>> for Canonical<'tcx, QueryResponse<'tcx, DropckOutlivesResult<'tcx>>>

impl<'tcx> ArenaAllocatable<'tcx, Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>> for Canonical<'tcx, QueryResponse<'tcx, NormalizationResult<'tcx>>>

impl<'tcx> ArenaAllocatable<'tcx, Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>> for Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>

impl<'tcx> ArenaAllocatable<'tcx, Canonical<'tcx, QueryResponse<'tcx, Binder<'tcx, FnSig<'tcx>>>>> for Canonical<'tcx, QueryResponse<'tcx, PolyFnSig<'tcx>>>

impl<'tcx> ArenaAllocatable<'tcx, Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>> for Canonical<'tcx, QueryResponse<'tcx, FnSig<'tcx>>>

impl<'tcx> ArenaAllocatable<'tcx, Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>, Global>>>> for Canonical<'tcx, QueryResponse<'tcx, Vec<OutlivesBound<'tcx>>>>

impl<'tcx> ArenaAllocatable<'tcx, ForeignModule> for ForeignModule

impl<'tcx> ArenaAllocatable<'tcx, AccessLevels<HirId>> for AccessLevels

impl<'tcx> ArenaAllocatable<'tcx, ScopeTree> for ScopeTree

impl<'tcx> ArenaAllocatable<'tcx, CodeRegion> for CodeRegion

impl<'tcx> ArenaAllocatable<'tcx, Allocation<(), ()>> for Allocation

impl<'tcx> ArenaAllocatable<'tcx, CodegenUnit<'tcx>> for CodegenUnit<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, BorrowCheckResult<'tcx>> for BorrowCheckResult<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, UnsafetyCheckResult> for UnsafetyCheckResult

impl<'tcx> ArenaAllocatable<'tcx, Body<'tcx>> for Body<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, AdtDef> for AdtDef

impl<'tcx> ArenaAllocatable<'tcx, TypeckResults<'tcx>> for TypeckResults<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, PredicateInner<'tcx>> for PredicateInner<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, TyS<'tcx>> for TyS<'tcx>

impl<'tcx, T: Copy> ArenaAllocatable<'tcx, ()> for T