fn load_external_files( names: &[String], dcx: DiagCtxtHandle<'_>, loaded_paths: &mut Vec<PathBuf>, ) -> Option<String>