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 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 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 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 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, Lrc<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 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 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 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