Couple of opaque repl tests

2025-10-02 16:21:11 +00:00 · 2022-02-24 19:04:51 -05:00 · 2022-02-24 19:04:51 -05:00 · 9d87c605fe
commit 9d87c605fe
parent 736645cd8c
2 changed files with 40 additions and 1 deletions
--- a/compiler/mono/src/ir.rs
+++ b/compiler/mono/src/ir.rs
@ -3433,7 +3433,18 @@ pub fn with_hole<'a>(
            }
        }

-        OpaqueRef { .. } => todo_opaques!(),
+        OpaqueRef { argument, .. } => {
+            let (arg_var, loc_arg_expr) = *argument;
+            with_hole(
+                env,
+                loc_arg_expr.value,
+                arg_var,
+                procs,
+                layout_cache,
+                assigned,
+                hole,
+            )
+        }

        Record {
            record_var,