pub struct OutputReferenceValue {
pub expression: ReferenceExpression,
pub ty: ConcreteTypeId,
pub stack_idx: Option<usize>,
pub introduction_point: OutputReferenceValueIntroductionPoint,
}
Expand description
A Sierra reference to a value. Returned from a libfunc.
Fields§
§expression: ReferenceExpression
§ty: ConcreteTypeId
§stack_idx: Option<usize>
The index of the variable on the continuous-stack.
introduction_point: OutputReferenceValueIntroductionPoint
The statement and output index where the value was introduced. Statement may be New if it is to be populated later.
Trait Implementations§
Source§impl Clone for OutputReferenceValue
impl Clone for OutputReferenceValue
Source§fn clone(&self) -> OutputReferenceValue
fn clone(&self) -> OutputReferenceValue
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 OutputReferenceValue
impl Debug for OutputReferenceValue
Source§impl PartialEq for OutputReferenceValue
impl PartialEq for OutputReferenceValue
impl Eq for OutputReferenceValue
impl StructuralPartialEq for OutputReferenceValue
Auto Trait Implementations§
impl Freeze for OutputReferenceValue
impl RefUnwindSafe for OutputReferenceValue
impl Send for OutputReferenceValue
impl Sync for OutputReferenceValue
impl Unpin for OutputReferenceValue
impl UnwindSafe for OutputReferenceValue
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<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.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