Struct rustc_middle::mir::interpret::ConstAllocation
source · [−]pub struct ConstAllocation<'tcx, Prov = AllocId, Extra = ()>(pub Interned<'tcx, Allocation<Prov, Extra>>);
Expand description
Interned types generally have an Outer
type and an Inner
type, where
Outer
is a newtype around Interned<Inner>
, and all the operations are
done on Outer
, because all occurrences are interned. E.g. Ty
is an
outer type and TyS
is its inner type.
Here things are different because only const allocations are interned. This
means that both the inner type (Allocation
) and the outer type
(ConstAllocation
) are used quite a bit.
Tuple Fields
0: Interned<'tcx, Allocation<Prov, Extra>>
Implementations
sourceimpl<'tcx, Prov, Extra> ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov, Extra> ConstAllocation<'tcx, Prov, Extra>
pub fn inner(self) -> &'tcx Allocation<Prov, Extra>
Trait Implementations
sourceimpl<'tcx, Prov: Clone, Extra: Clone> Clone for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov: Clone, Extra: Clone> Clone for ConstAllocation<'tcx, Prov, Extra>
sourcefn clone(&self) -> ConstAllocation<'tcx, Prov, Extra>
fn clone(&self) -> ConstAllocation<'tcx, Prov, Extra>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl<'tcx> Debug for ConstAllocation<'tcx>
impl<'tcx> Debug for ConstAllocation<'tcx>
sourceimpl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<D> for ConstAllocation<'tcx>
impl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<D> for ConstAllocation<'tcx>
sourceimpl<'tcx, E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<E> for ConstAllocation<'tcx>
impl<'tcx, E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<E> for ConstAllocation<'tcx>
sourceimpl<'tcx, Prov: Hash, Extra: Hash> Hash for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov: Hash, Extra: Hash> Hash for ConstAllocation<'tcx, Prov, Extra>
sourceimpl<'tcx, '__ctx, Prov, Extra> HashStable<StableHashingContext<'__ctx>> for ConstAllocation<'tcx, Prov, Extra> where
Prov: HashStable<StableHashingContext<'__ctx>>,
Extra: HashStable<StableHashingContext<'__ctx>>,
impl<'tcx, '__ctx, Prov, Extra> HashStable<StableHashingContext<'__ctx>> for ConstAllocation<'tcx, Prov, Extra> where
Prov: HashStable<StableHashingContext<'__ctx>>,
Extra: HashStable<StableHashingContext<'__ctx>>,
fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
sourceimpl<'a, 'tcx> Lift<'tcx> for ConstAllocation<'a>
impl<'a, 'tcx> Lift<'tcx> for ConstAllocation<'a>
type Lifted = ConstAllocation<'tcx, AllocId, ()>
fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>
sourceimpl<'tcx, Prov: Ord, Extra: Ord> Ord for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov: Ord, Extra: Ord> Ord for ConstAllocation<'tcx, Prov, Extra>
sourcefn cmp(&self, other: &ConstAllocation<'tcx, Prov, Extra>) -> Ordering
fn cmp(&self, other: &ConstAllocation<'tcx, Prov, Extra>) -> Ordering
1.21.0 · sourcefn max(self, other: Self) -> Self
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
1.21.0 · sourcefn min(self, other: Self) -> Self
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Self where
Self: PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Self where
Self: PartialOrd<Self>,
Restrict a value to a certain interval. Read more
sourceimpl<'tcx, Prov: PartialEq, Extra: PartialEq> PartialEq<ConstAllocation<'tcx, Prov, Extra>> for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov: PartialEq, Extra: PartialEq> PartialEq<ConstAllocation<'tcx, Prov, Extra>> for ConstAllocation<'tcx, Prov, Extra>
sourcefn eq(&self, other: &ConstAllocation<'tcx, Prov, Extra>) -> bool
fn eq(&self, other: &ConstAllocation<'tcx, Prov, Extra>) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &ConstAllocation<'tcx, Prov, Extra>) -> bool
fn ne(&self, other: &ConstAllocation<'tcx, Prov, Extra>) -> bool
This method tests for !=
.
sourceimpl<'tcx, Prov: PartialOrd, Extra: PartialOrd> PartialOrd<ConstAllocation<'tcx, Prov, Extra>> for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov: PartialOrd, Extra: PartialOrd> PartialOrd<ConstAllocation<'tcx, Prov, Extra>> for ConstAllocation<'tcx, Prov, Extra>
sourcefn partial_cmp(
&self,
other: &ConstAllocation<'tcx, Prov, Extra>
) -> Option<Ordering>
fn partial_cmp(
&self,
other: &ConstAllocation<'tcx, Prov, Extra>
) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
impl<'tcx, Prov: Copy, Extra: Copy> Copy for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov: Eq, Extra: Eq> Eq for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov, Extra> StructuralEq for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov, Extra> StructuralPartialEq for ConstAllocation<'tcx, Prov, Extra>
Auto Trait Implementations
impl<'tcx, Prov, Extra> RefUnwindSafe for ConstAllocation<'tcx, Prov, Extra> where
Extra: RefUnwindSafe,
Prov: RefUnwindSafe,
impl<'tcx, Prov, Extra> Send for ConstAllocation<'tcx, Prov, Extra> where
Extra: Sync,
Prov: Sync,
impl<'tcx, Prov, Extra> Sync for ConstAllocation<'tcx, Prov, Extra> where
Extra: Sync,
Prov: Sync,
impl<'tcx, Prov, Extra> Unpin for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov, Extra> UnwindSafe for ConstAllocation<'tcx, Prov, Extra> where
Extra: RefUnwindSafe,
Prov: RefUnwindSafe,
Blanket Implementations
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T where
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T where
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
impl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
default fn fingerprint_style() -> FingerprintStyle
sourcedefault fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous). Read more
default fn to_debug_str(&self, Ctxt) -> String
sourcedefault fn recover(Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> Option<T>
default fn recover(Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> Option<T>
This method tries to recover the query key from the given DepNode
,
something which is needed when forcing DepNode
s during red-green
evaluation. The query system will only call this method if
fingerprint_style()
is not FingerprintStyle::Opaque
.
It is always valid to return None
here, in which case incremental
compilation will treat the query as having changed instead of forcing it. Read more
sourceimpl<T, R> InternIteratorElement<T, R> for T
impl<T, R> InternIteratorElement<T, R> for T
type Output = R
fn intern_with<I, F>(iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Output where
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
impl<'a, T> Captures<'a> for T where
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 8 bytes