pub trait FuncValidator {
    type Output;

    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§

Implementors§