Struct paralegal_spdg::rustc::mir::interpret::ConstAllocation
source · pub struct ConstAllocation<'tcx>(pub Interned<'tcx, Allocation<AllocId, (), Box<[u8], Global>>>);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 TyKind 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<AllocId, (), Box<[u8], Global>>>Auto Trait Implementations§
impl<'tcx> RefUnwindSafe for ConstAllocation<'tcx>
impl<'tcx> Send for ConstAllocation<'tcx>
impl<'tcx> Sync for ConstAllocation<'tcx>
impl<'tcx> Unpin for ConstAllocation<'tcx>
impl<'tcx> UnwindSafe for ConstAllocation<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.