Function move_lang::compiled_unit::verify_units

pub fn verify_units(
    units: Vec<AnnotatedCompiledUnit>
) -> (Vec<AnnotatedCompiledUnit>, Diagnostics)