Trait rustc_middle::arena::ArenaAllocatable

pub trait ArenaAllocatable<'tcx, C = IsNotCopy>: 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, IsNotCopy> for LayoutS<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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> for Steal<ResolverAstLowering>

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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> for 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> 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, IsNotCopy> for FxIndexSet<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, IsNotCopy> for FxHashMap<DefId, 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, IsNotCopy> for BitSet<u32>

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, IsNotCopy> for ImplSource<'tcx, ()>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> ArenaAllocatable<'tcx, IsNotCopy> for ConstS<'tcx>

impl<'tcx> ArenaAllocatable<'tcx, IsNotCopy> for WithCachedTypeInfo<PredicateKind<'tcx>>

impl<'tcx> ArenaAllocatable<'tcx, IsNotCopy> for WithCachedTypeInfo<TyKind<'tcx>>

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

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

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