Check that runtimes match

noir-lang · Jan 22, 2025 · f8ab025 · f8ab025
1 parent 27818df
commit f8ab025
Showing 1 changed file with 10 additions and 12 deletions.
diff --git a/compiler/noirc_evaluator/src/ssa/opt/inlining.rs b/compiler/noirc_evaluator/src/ssa/opt/inlining.rs
@@ -892,19 +892,17 @@ impl<'function> PerFunctionContext<'function> {
         }
 
         let callee = &ssa.functions[&called_func_id];
+        let callee_runtime = callee.runtime();
 
-        match callee.runtime() {
-            RuntimeType::Acir(inline_type) => {
-                // If the called function is acir, we inline if it's not an entry point
-                if inline_type.is_entry_point() {
-                    return None;
-                }
-            }
-            RuntimeType::Brillig(_) => {
-                if self.entry_function.runtime().is_acir() {
-                    // We never inline a brillig function into an ACIR function.
-                    return None;
-                }
+        // Wd never inline one runtime into another
+        if self.entry_function.runtime().is_acir() != callee_runtime.is_acir() {
+            return None;
+        }
+
+        if let RuntimeType::Acir(inline_type) = callee_runtime {
+            // If the called function is acir, we inline if it's not an entry point
+            if inline_type.is_entry_point() {
+                return None;
             }
         }