pub enum NativeOutcome {
ReturnValue(Value),
DeoptAt {
resume_pc: usize,
frames: Vec<NativeFrame>,
},
Return(i64),
Deopt,
}Expand description
What one native function call produced.
Variants§
ReturnValue(Value)
A fully re-boxed return value (list-returning functions: the backend owns the re-boxing because the allocation registry lives on its side).
DeoptAt
Precise side exit: effects already landed stay landed; the VM
materializes frames as real CallFrames and resumes interpreting
at resume_pc (region-grade deopt for functions).
Return(i64)
The function ran to its return.
Deopt
A checked op side-exited (zero divisor). The native code touched only its private frame, and every adaptable body is effect-free, so the caller simply re-runs the call on bytecode — where the kernel raises the exact error at the exact point.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for NativeOutcome
impl !RefUnwindSafe for NativeOutcome
impl !Send for NativeOutcome
impl !Sync for NativeOutcome
impl Unpin for NativeOutcome
impl UnsafeUnpin for NativeOutcome
impl !UnwindSafe for NativeOutcome
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> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.