From ec82ec1f8768d8d3d75e368e5ec3fb35ff0439f1 Mon Sep 17 00:00:00 2001
From: Tom French <15848336+TomAFrench@users.noreply.github.com>
Date: Fri, 9 Feb 2024 16:39:38 +0000
Subject: [PATCH] Update compiler/noirc_frontend/src/hir/type_check/expr.rs

---
 compiler/noirc_frontend/src/hir/type_check/expr.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/noirc_frontend/src/hir/type_check/expr.rs b/compiler/noirc_frontend/src/hir/type_check/expr.rs
index 1b3c2c069dc..71f149d6573 100644
--- a/compiler/noirc_frontend/src/hir/type_check/expr.rs
+++ b/compiler/noirc_frontend/src/hir/type_check/expr.rs
@@ -156,7 +156,7 @@ impl<'interner> TypeChecker<'interner> {
                 let current_func = self.current_function;
                 let func_mod = current_func.map(|func| self.interner.function_modifiers(&func));
                 let is_current_func_constrained =
-                    func_mod.map_or(false, |func_mod| !func_mod.is_unconstrained);
+                    func_mod.map_or(true, |func_mod| !func_mod.is_unconstrained);
                 let is_unconstrained_call = self.is_unconstrained_call(&call_expr.func);
 
                 self.check_if_deprecated(&call_expr.func);