Merge pull request #607 from mir-protocol/duplicate_macros

Avoid duplicate macros
This commit is contained in:
wborgeaud
2022-07-13 19:56:09 +02:00
committed by GitHub
+2 -1
View File
@@ -67,7 +67,8 @@ fn find_macros(files: &[File]) -> HashMap<String, Macro> {
params: params.clone(),
items: items.clone(),
};
macros.insert(name.clone(), _macro);
let old = macros.insert(name.clone(), _macro);
assert!(old.is_none(), "Duplicate macro: {name}");
}
}
}