pub trait Validate {
    // Required method
    fn validate(
        &self,
        top: &Module,
        cache: &ModuleCache,
        loader: &impl ModuleLoader,
        check_constraints: bool
    );
}

Required Methods§

source

fn validate( &self, top: &Module, cache: &ModuleCache, loader: &impl ModuleLoader, check_constraints: bool )

Object Safety§

This trait is not object safe.

Implementors§