From 7736df030accc48401d417350e5fa65c5e818b79 Mon Sep 17 00:00:00 2001
From: Jeong YunWon <jeong@youknowone.org>
Date: Tue, 15 Jul 2025 21:32:07 +0900
Subject: [PATCH] Fix scope error

---
 compiler/codegen/src/compile.rs | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/compiler/codegen/src/compile.rs b/compiler/codegen/src/compile.rs
index 62c8508cb..a78ca0207 100644
--- a/compiler/codegen/src/compile.rs
+++ b/compiler/codegen/src/compile.rs
@@ -616,7 +616,18 @@ impl Compiler<'_> {
     // compiler_exit_scope
     fn exit_scope(&mut self) -> CodeObject {
         let table = self.pop_symbol_table();
-        assert!(table.sub_tables.is_empty());
+
+        // TypeParams scope can have sub_tables (the function body's symbol table)
+        // This matches CPython's behavior where type params scope contains the function scope
+        if table.typ != CompilerScope::TypeParams {
+            assert!(
+                table.sub_tables.is_empty(),
+                "Only TypeParams scope can have sub_tables, but {:?} has {} sub_tables",
+                table.typ,
+                table.sub_tables.len()
+            );
+        }
+
         let pop = self.code_stack.pop();
         let stack_top = compiler_unwrap_option(self, pop);
         unwrap_internal(self, stack_top.finalize_code(self.opts.optimize))