Skip list→tuple optimization for async for; propagate future_annotations to nested scopes

youknowone · youknowone · commit 860a3db840ea · 2026-03-27T10:39:08.000+09:00
diff --git a/crates/codegen/src/compile.rs b/crates/codegen/src/compile.rs
@@ -5460,7 +5460,8 @@ impl Compiler {
         // Optimize: `for x in [a, b, c]` → use tuple instead of list
         // (list creation is wasteful for iteration)
         // Skip optimization if any element is starred (e.g., `[a, *b, c]`)
-        if let ast::Expr::List(ast::ExprList { elts, .. }) = iter
+        if !is_async
+            && let ast::Expr::List(ast::ExprList { elts, .. }) = iter
             && !elts.iter().any(|e| matches!(e, ast::Expr::Starred(_)))
         {
             for elt in elts {
diff --git a/crates/codegen/src/symboltable.rs b/crates/codegen/src/symboltable.rs
@@ -1035,6 +1035,7 @@ impl SymbolTableBuilder {
             .and_then(|t| t.mangled_names.clone())
             .filter(|_| typ != CompilerScope::Class);
         let mut table = SymbolTable::new(name.to_owned(), typ, line_number, is_nested);
+        table.future_annotations = self.future_annotations;
         table.mangled_names = inherited_mangled_names;
         self.tables.push(table);
         // Save parent's varnames and start fresh for the new scope
