Expand description
An expanded program point directly exposes the variants, but takes twice the space to represent.
Variants§
Implementations§
source§impl ExpandedProgramPoint
impl ExpandedProgramPoint
sourcepub fn unwrap_inst(self) -> Inst
pub fn unwrap_inst(self) -> Inst
Get the instruction we know is inside.
Trait Implementations§
source§impl Clone for ExpandedProgramPoint
impl Clone for ExpandedProgramPoint
source§fn clone(&self) -> ExpandedProgramPoint
fn clone(&self) -> ExpandedProgramPoint
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ExpandedProgramPoint
impl Debug for ExpandedProgramPoint
source§impl Display for ExpandedProgramPoint
impl Display for ExpandedProgramPoint
source§impl From<Block> for ExpandedProgramPoint
impl From<Block> for ExpandedProgramPoint
source§impl From<Inst> for ExpandedProgramPoint
impl From<Inst> for ExpandedProgramPoint
source§impl From<ProgramPoint> for ExpandedProgramPoint
impl From<ProgramPoint> for ExpandedProgramPoint
source§fn from(pp: ProgramPoint) -> Self
fn from(pp: ProgramPoint) -> Self
Converts to this type from the input type.
source§impl From<ValueDef> for ExpandedProgramPoint
impl From<ValueDef> for ExpandedProgramPoint
source§impl PartialEq<ExpandedProgramPoint> for ExpandedProgramPoint
impl PartialEq<ExpandedProgramPoint> for ExpandedProgramPoint
source§fn eq(&self, other: &ExpandedProgramPoint) -> bool
fn eq(&self, other: &ExpandedProgramPoint) -> bool
impl Copy for ExpandedProgramPoint
impl Eq for ExpandedProgramPoint
impl StructuralEq for ExpandedProgramPoint
impl StructuralPartialEq for ExpandedProgramPoint
Auto Trait Implementations§
impl RefUnwindSafe for ExpandedProgramPoint
impl Send for ExpandedProgramPoint
impl Sync for ExpandedProgramPoint
impl Unpin for ExpandedProgramPoint
impl UnwindSafe for ExpandedProgramPoint
Blanket Implementations§
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.