We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 07b1a45 commit ec82ec1Copy full SHA for ec82ec1
compiler/noirc_frontend/src/hir/type_check/expr.rs
@@ -156,7 +156,7 @@ impl<'interner> TypeChecker<'interner> {
156
let current_func = self.current_function;
157
let func_mod = current_func.map(|func| self.interner.function_modifiers(&func));
158
let is_current_func_constrained =
159
- func_mod.map_or(false, |func_mod| !func_mod.is_unconstrained);
+ func_mod.map_or(true, |func_mod| !func_mod.is_unconstrained);
160
let is_unconstrained_call = self.is_unconstrained_call(&call_expr.func);
161
162
self.check_if_deprecated(&call_expr.func);
0 commit comments