pub enum OperandFault {
NonCanonicalShift,
ShiftAmountTooLarge {
shift_amount: usize,
max_amount: usize,
},
NonCanonicalShiftSequence,
CollapsibleShiftSequence {
composition: Composition,
},
ScratchValueIndex,
OutOfRangeValueIndex {
segment: ValueSegment,
value_index: u32,
segment_len: usize,
},
}Expand description
The way one term of an operand is malformed, said without naming where the operand sits.
A diagnostic pairs this with the position of the operand it checked, which differs between a constraint and a chip call.
Variants§
NonCanonicalShift
ShiftAmountTooLarge
NonCanonicalShiftSequence
CollapsibleShiftSequence
Fields
§
composition: CompositionScratchValueIndex
OutOfRangeValueIndex
Trait Implementations§
Source§impl Debug for OperandFault
impl Debug for OperandFault
Source§impl Display for OperandFault
impl Display for OperandFault
Source§impl Error for OperandFault
impl Error for OperandFault
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0:
use the Display impl or to_string()
Auto Trait Implementations§
impl Freeze for OperandFault
impl RefUnwindSafe for OperandFault
impl Send for OperandFault
impl Sync for OperandFault
impl Unpin for OperandFault
impl UnsafeUnpin for OperandFault
impl UnwindSafe for OperandFault
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
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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