feat(sol-thir-lowering): implement unify catch

aripiprazole · May 29, 2024 · 68aaa3c · 68aaa3c
1 parent 16cfdda
commit 68aaa3c
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/sol-thir-lowering/src/elaboration.rs b/sol-thir-lowering/src/elaboration.rs
@@ -1,10 +1,13 @@
+use sol_diagnostic::Diagnostics;
 use sol_thir::ElaboratedTerm;
 
 use super::*;
 
 #[salsa::tracked]
 pub fn unify_catch(db: &dyn ThirLoweringDb, ctx: Context, lhs: Value, rhs: Value) {
-    todo!()
+    if let Err(diagnostic) = lhs.unify(db, ctx, rhs) {
+        Diagnostics::push(db, diagnostic);
+    }
 }
 
 /// Insert fresh implicit applications to a term which is not