fn check_interface( spec: &InterfaceSpec, artifact_path: &Path, all_specs: &HashMap<&str, &InterfaceSpec>, ) -> Result<(Vec<(String, String)>, Vec<(String, String)>)>