Function move_compiler::compiled_unit::verify_units

pub fn verify_units<'a>(
    units: impl IntoIterator<Item = &'a AnnotatedCompiledUnit>
) -> Diagnostics