fix annotations getting lost

2024-10-01 18:31:44 -07:00 · 2024-10-01 18:31:44 -07:00 · 2a25dd9d7b
parent 6e0b6c000d
commit 2a25dd9d7b
1 changed files with 2 additions and 1 deletions
--- a/crates/fayalite/src/module.rs
+++ b/crates/fayalite/src/module.rs
@ -2272,7 +2272,8 @@ pub fn annotate<T: Type>(target: Expr<T>, annotations: impl IntoAnnotations) {
            .body
            .annotations_map
            .entry(decl)
-            .or_default();
+            .or_default()
+            .extend(annotations);
    });
 }