Function check_one 

pub fn check_one(
    name: &str,
    src: &str,
    imports: &[(String, Interface)],
    lock: Option<&Lock>,
    diags: &mut Diagnostics,
) -> Checked

Check one module against its imports’ interfaces, and solve its placement.