Struct paralegal_spdg::rustc::mir::interpret::ConstAlloc
source · pub struct ConstAlloc<'tcx> {
pub alloc_id: AllocId,
pub ty: Ty<'tcx>,
}
Expand description
Represents the result of const evaluation via the eval_to_allocation
query.
Fields§
§alloc_id: AllocId
The value lives here, at offset 0, and that allocation definitely is an AllocKind::Memory
(so you can use AllocMap::unwrap_memory
).
ty: Ty<'tcx>
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for ConstAlloc<'tcx>
impl<'tcx> !Send for ConstAlloc<'tcx>
impl<'tcx> !Sync for ConstAlloc<'tcx>
impl<'tcx> Unpin for ConstAlloc<'tcx>
impl<'tcx> !UnwindSafe for ConstAlloc<'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.