pub struct VarId(pub u32);Expand description
Stable plan-scoped identifier for a variable.
VarIds are plan-scoped — they survive the HIR from which the plan was
lowered. The lowering pass (bead cy-foy) produces a VarMap mapping these
back to HIR cyrs_hir::VarIds. See spec §12.3.
Tuple Fields§
§0: u32Trait Implementations§
Source§impl<'de> Deserialize<'de> for VarId
impl<'de> Deserialize<'de> for VarId
Source§fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>
fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>
Deserialize this value from the given Serde deserializer. Read more
Source§impl Ord for VarId
impl Ord for VarId
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Source§impl PartialOrd for VarId
impl PartialOrd for VarId
impl Copy for VarId
impl Eq for VarId
impl StructuralPartialEq for VarId
Auto Trait Implementations§
impl Freeze for VarId
impl RefUnwindSafe for VarId
impl Send for VarId
impl Sync for VarId
impl Unpin for VarId
impl UnsafeUnpin for VarId
impl UnwindSafe for VarId
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<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.