pub fn check_vm(
modules: &[ModuleInput<'_>],
root: impl Fn(&ModuleInput<'_>) -> bool,
help: &str,
) -> Vec<Diagnostic>Expand description
E0807 for every module reachable from the modules that root selects that has an extern
section or is a native module: the VM runs no code of the targets (spec chapter 10,
section 3). help says how to run the program on a target instead.