Function check_one_in 

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

The same, against a caller’s source map so that diagnostics point at the right file.