pub struct IntroductionPoint {
pub source_statement_idx: Option<StatementIdx>,
pub destination_statement_idx: StatementIdx,
pub output_idx: usize,
}Expand description
The location where a value was introduced.
Fields§
§source_statement_idx: Option<StatementIdx>The index of the statement creating the value, None if introduced as a function param.
destination_statement_idx: StatementIdxThe index of the statement the value was created into.
output_idx: usizeThe output index of the generating statement of the var.
Trait Implementations§
Source§impl Clone for IntroductionPoint
impl Clone for IntroductionPoint
Source§fn clone(&self) -> IntroductionPoint
fn clone(&self) -> IntroductionPoint
Returns a duplicate 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 IntroductionPoint
impl Debug for IntroductionPoint
Source§impl Display for IntroductionPoint
impl Display for IntroductionPoint
Source§impl PartialEq for IntroductionPoint
impl PartialEq for IntroductionPoint
impl Eq for IntroductionPoint
impl StructuralPartialEq for IntroductionPoint
Auto Trait Implementations§
impl Freeze for IntroductionPoint
impl RefUnwindSafe for IntroductionPoint
impl Send for IntroductionPoint
impl Sync for IntroductionPoint
impl Unpin for IntroductionPoint
impl UnwindSafe for IntroductionPoint
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> 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.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more