Fix break returns neveR (#3412)

crates/cairo-lang-semantic/src/expr/compute.rs

@@ -672,7 +672,7 @@ pub fn compute_expr_block_semantic(
         let ty = if let Some(t) = &tail_semantic_expr {
             t.ty()
         } else if let Some(statement) = statements_semantic.last() {
-            if let Statement::Return(_) = &new_ctx.statements[*statement] {
+            if let Statement::Return(_) | Statement::Break(_) = &new_ctx.statements[*statement] {
                 never_ty(new_ctx.db)
             } else {
                 unit_ty(db)

tests/bug_samples/lib.cairo

@@ -24,3 +24,4 @@ mod issue3345;
 mod loop_only_change;
 mod inconsistent_gas;
 mod partial_param_local;
+mod loop_break_in_match;

tests/bug_samples/loop_break_in_match.cairo

@@ -0,0 +1,25 @@
+use core::array::ArrayTrait;
+use core::debug::PrintTrait;
+
+#[available_gas(2000000)]
+#[test]
+fn main() {
+    let mut a: Array<felt252> = ArrayTrait::new();
+    a.append('a');
+    a.append('b');
+
+    let a = loop {
+        let v: felt252 = match a.pop_front() {
+            Option::Some(v) => {
+                v
+            },
+            Option::None(()) => {
+                break 'hi';
+            }
+        };
+
+        v.print();
+    };
+
+    a.print();
+}