Trait rustc_middle::arena::ArenaAllocatable

pub trait ArenaAllocatable<'tcx, C = IsNotCopy>: Sized {
    // 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];
}

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]

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> ArenaAllocatable<'tcx> 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> for LayoutS<FieldIdx, VariantIdx>

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> 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> for StrippedCfgItem

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> for Steal<(Crate, AttrVec)>

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> for Steal<(ResolverAstLowering, Lrc<Crate>)>

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> 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> 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> 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> for UnordMap<DefId, EarlyBinder<'tcx, Ty<'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> for UnordSet<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]

impl<'tcx> ArenaAllocatable<'tcx> for UnordSet<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> for Features

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> for OwnerNodes<'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> 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> for FnAbi<'tcx, Ty<'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> 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> for FxIndexSet<ItemLocalId>

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> for FxIndexSet<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> for DocLinkResMap

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> 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]

Implementors

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

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

impl<'tcx> ArenaAllocatable<'tcx> for PatternKind<'tcx>

impl<'tcx> ArenaAllocatable<'tcx> for QueryRegionConstraints<'tcx>

impl<'tcx> ArenaAllocatable<'tcx> for ModChild

impl<'tcx> ArenaAllocatable<'tcx> for EffectiveVisibilities

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

impl<'tcx> ArenaAllocatable<'tcx> for Allocation

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

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

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

impl<'tcx> ArenaAllocatable<'tcx> for CandidateStep<'tcx>

impl<'tcx> ArenaAllocatable<'tcx> for DropckConstraint<'tcx>

impl<'tcx> ArenaAllocatable<'tcx> for MethodAutoderefBadTy<'tcx>

impl<'tcx> ArenaAllocatable<'tcx> for Graph

impl<'tcx> ArenaAllocatable<'tcx> for AdtDefData

impl<'tcx> ArenaAllocatable<'tcx> for ExternalConstraintsData<TyCtxt<'tcx>>

impl<'tcx> ArenaAllocatable<'tcx> for PredefinedOpaquesData<TyCtxt<'tcx>>

impl<'tcx> ArenaAllocatable<'tcx> for CrateInherentImpls

impl<'tcx> ArenaAllocatable<'tcx> for ResolverGlobalCtxt

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

impl<'tcx> ArenaAllocatable<'tcx> for DepKindStruct<'tcx>

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

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

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

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

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

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

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

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

impl<'tcx, T: Copy> ArenaAllocatable<'tcx, IsCopy> for T