Trait ArenaAllocatable 

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

Required Methods

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

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

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

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

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

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

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

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

impl<'tcx> ArenaAllocatable<'tcx> for LayoutData<FieldIdx, VariantIdx>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for AutoDiffItem

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

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

impl<'tcx> ArenaAllocatable<'tcx> for Steal<(Crate, AttrVec)>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for Steal<(ResolverAstLowering, Arc<Crate>)>

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> ArenaAllocatable<'tcx> for UnordMap<DefId, EarlyBinder<'tcx, Ty<'tcx>>>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for UnordSet<LocalDefId>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for UnordSet<Symbol>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for Features

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

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

impl<'tcx> ArenaAllocatable<'tcx> for StrippedCfgItem

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

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

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

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

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

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

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

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

impl<'tcx> ArenaAllocatable<'tcx> for FnAbi<'tcx, Ty<'tcx>>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for FxIndexMap<HirId, Upvar>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for FxIndexMap<DefId, usize>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for FxIndexSet<ItemLocalId>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for FxIndexSet<Symbol>

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

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

impl<'tcx> ArenaAllocatable<'tcx> for DocLinkResMap

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

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

impl<'tcx> ArenaAllocatable<'tcx> for DefIdSet

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

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

Implementors

impl<'tcx> ArenaAllocatable<'tcx> for DynCompatibilityViolation

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

impl<'tcx> ArenaAllocatable<'tcx> for ValTreeKind<'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 Body<'tcx>

impl<'tcx> ArenaAllocatable<'tcx> for ConcreteOpaqueTypes<'tcx>

impl<'tcx> ArenaAllocatable<'tcx> for CoroutineLayout<'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 Probe<TyCtxt<'tcx>>

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

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

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

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

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