remove hashmap

This commit is contained in:
Folkert 2022-03-22 21:58:49 +01:00
parent 8d15e21ba6
commit a67bb29a36
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
5 changed files with 24 additions and 40 deletions

View file

@ -203,7 +203,7 @@ impl Scope {
// when the value was exposed in the module header,
// use that existing IdentId. Otherwise, create a fresh one.
let ident_id = match exposed_ident_ids.get_id(&ident) {
Some(ident_id) => *ident_id,
Some(ident_id) => ident_id,
None => all_ident_ids.add(ident.clone()),
};