pub trait FuncValidator {
type Output;
// Required methods
fn new(ctx: &FunctionValidationContext<'_>, body: &FuncBody) -> Self;
fn next_instruction(
&mut self,
ctx: &mut FunctionValidationContext<'_>,
instruction: &Instruction,
) -> Result<(), Error>;
fn finish(self) -> Self::Output;
}
Required Associated Types§
Required Methods§
fn new(ctx: &FunctionValidationContext<'_>, body: &FuncBody) -> Self
fn next_instruction( &mut self, ctx: &mut FunctionValidationContext<'_>, instruction: &Instruction, ) -> Result<(), Error>
fn finish(self) -> Self::Output
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.