fix: Allow comptime code to use break without also being unconstrained

compiler/noirc_frontend/src/elaborator/mod.rs

@@ -1458,9 +1458,12 @@ impl<'context> Elaborator<'context> {
     /// True if we're currently within a constrained function.
     /// Defaults to `true` if the current function is unknown.
     fn in_constrained_function(&self) -> bool {
-        self.current_item.map_or(true, |id| match id {
-            DependencyId::Function(id) => !self.interner.function_modifiers(&id).is_unconstrained,
-            _ => true,
-        })
+        !self.in_comptime_context()
+            && self.current_item.map_or(true, |id| match id {
+                DependencyId::Function(id) => {
+                    !self.interner.function_modifiers(&id).is_unconstrained
+                }
+                _ => true,
+            })
     }
 }

noir_stdlib/src/meta/mod.nr

@@ -45,7 +45,7 @@ pub comptime fn derive(s: StructDefinition, traits: [TraitDefinition]) -> Quoted
     result
 }
 
-unconstrained pub comptime fn derive_via(t: TraitDefinition, f: DeriveFunction) {
+pub comptime fn derive_via(t: TraitDefinition, f: DeriveFunction) {
     HANDLERS.insert(t, f);
 }
 

test_programs/compile_success_empty/macros_in_comptime/src/main.nr

@@ -13,7 +13,7 @@ fn main() {
 
 // Call a different function from the interpreter, then have the
 // elaborator switch to the middle of foo from its previous scope in main
-unconstrained comptime fn foo<let N: Field>(x: Field) {
+comptime fn foo<let N: Field>(x: Field) {
     assert(modulus_num_bits() != 0);
 
     let cond = quote { modulus_num_bits() != 0 };