pub enum SatisfierError {
Unsatisfiable,
AssemblyFailed(ExecutionError),
}
Variants§
Unsatisfiable
A satisfying witness for the policy could not be produced.
AssemblyFailed(ExecutionError)
An assembly program failed to run on the Bit Machine.
This can happen when the Satisfier::lookup_asm_program
method is incorrectly implemented.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for SatisfierError
impl RefUnwindSafe for SatisfierError
impl Send for SatisfierError
impl Sync for SatisfierError
impl Unpin for SatisfierError
impl UnwindSafe for SatisfierError
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