fix varargs

youknowone · youknowone · commit a92fc7736ffd · 2026-01-11T12:25:49.000+09:00
diff --git a/crates/codegen/src/compile.rs b/crates/codegen/src/compile.rs
@@ -741,9 +741,15 @@ impl Compiler {
             }
             0 => {
                 // 0-arg: super() - need __class__ cell and first parameter
-                // Check if we're in a function with at least one parameter
+                // Check if we're in a function with at least one *positional* argument
+                // (or *args which becomes varnames[0] when no positional args exist).
+                // A function may have varnames (locals) but no positional args, e.g.:
+                //   def inner(): x = 1; return super().foo
+                // In this case, optimization should not apply.
                 let info = self.code_stack.last()?;
-                if info.metadata.varnames.is_empty() {
+                let has_first_arg = info.metadata.argcount > 0
+                    || info.flags.contains(bytecode::CodeFlags::VARARGS);
+                if !has_first_arg {
                     return None;
                 }
 
diff --git a/crates/compiler-core/src/bytecode/instruction.rs b/crates/compiler-core/src/bytecode/instruction.rs
@@ -6,6 +6,7 @@ use crate::{
         Arg, BinaryOperator, BorrowedConstant, BuildSliceArgCount, ComparisonOperator, Constant,
         ConvertValueOparg, InstrDisplayContext, IntrinsicFunction1, IntrinsicFunction2, Invert,
         Label, MakeFunctionFlags, NameIdx, OpArg, RaiseKind, UnpackExArgs, decode_load_attr_arg,
+        decode_load_super_attr_arg,
     },
     marshal::MarshalError,
 };
