Made sure closure type isn't var free if it captured vars.

crates/cairo-lang-semantic/src/types.rs

@@ -10,7 +10,7 @@ use cairo_lang_syntax::attribute::consts::MUST_USE_ATTR;
 use cairo_lang_syntax::node::ids::SyntaxStablePtrId;
 use cairo_lang_syntax::node::{TypedStablePtr, TypedSyntaxNode, ast};
 use cairo_lang_utils::{Intern, LookupIntern, OptionFrom, define_short_id, try_extract_matches};
-use itertools::Itertools;
+use itertools::{Itertools, chain};
 use num_bigint::BigInt;
 use num_traits::Zero;
 use sha3::{Digest, Keccak256};
@@ -946,7 +946,7 @@ pub fn priv_type_is_var_free(db: &dyn SemanticGroup, ty: TypeId) -> bool {
         // a var free ImplType needs to be rewritten if has impl bounds constraints.
         TypeLongId::ImplType(_) => false,
         TypeLongId::Closure(closure) => {
-            closure.param_tys.iter().all(|param| param.is_var_free(db))
+            chain!(&closure.captured_types, &closure.param_tys).all(|param| param.is_var_free(db))
                 && closure.ret_ty.is_var_free(db)
         }
     }

tests/bug_samples/issue7233.cairo

@@ -0,0 +1,8 @@
+#[test]
+fn stack_overflow() {
+    let outer_var = 42;
+    let closure_annotated = |i: u32| -> u32 {
+        i + outer_var
+    };
+    let _v = closure_annotated(1);
+}

tests/bug_samples/lib.cairo

@@ -60,6 +60,7 @@ mod issue7071;
 mod issue7083;
 mod issue7095;
 mod issue7155;
+mod issue7233;
 mod loop_break_in_match;
 mod loop_only_change;
 mod partial_param_local;