Skip to content

fix symtable for named_expressions #6604

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
youknowone merged 3 commits into from
Dec 31, 2025
Merged

fix symtable for named_expressions #6604

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
03cf6e6
check duplicated type parameter
youknowone Dec 31, 2025
93abd3b
typealias
youknowone Dec 31, 2025
767c3e6
fix self.in_comp_inner_loop_target
youknowone Dec 31, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
fix self.in_comp_inner_loop_target
  • Loading branch information
@youknowone
youknowone committed Dec 31, 2025
commit 767c3e657f45048ca3a4ce619e67300d1474b6a0
4 changes: 0 additions & 4 deletions Lib/test/test_named_expressions.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -165,8 +165,6 @@ def test_named_expression_invalid_rebinding_list_comprehension_iteration_variabl
with self.assertRaisesRegex(SyntaxError, msg):
exec(code, {}, {})

# TODO: RUSTPYTHON
@unittest.expectedFailure # wrong error message
def test_named_expression_invalid_rebinding_list_comprehension_inner_loop(self):
cases = [
("Inner reuse", 'j', "[i for i in range(5) if (j := 0) for j in range(5)]"),
Expand Down Expand Up @@ -223,8 +221,6 @@ def test_named_expression_invalid_rebinding_set_comprehension_iteration_variable
with self.assertRaisesRegex(SyntaxError, msg):
exec(code, {}, {})

# TODO: RUSTPYTHON
@unittest.expectedFailure
def test_named_expression_invalid_rebinding_set_comprehension_inner_loop(self):
cases = [
("Inner reuse", 'j', "{i for i in range(5) if (j := 0) for j in range(5)}"),
Expand Down
160 changes: 96 additions & 64 deletions crates/codegen/src/symboltable.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -625,6 +625,10 @@ struct SymbolTableBuilder {
in_annotation: bool,
// Track if we're inside a type alias (yield/await/named expr not allowed)
in_type_alias: bool,
// Track if we're scanning an inner loop iteration target (not the first generator)
in_comp_inner_loop_target: bool,
// Scope info for error messages (e.g., "a TypeVar bound")
scope_info: Option<&'static str>,
}

/// Enum to indicate in what mode an expression
Expand All @@ -651,6 +655,8 @@ impl SymbolTableBuilder {
in_iter_def_exp: false,
in_annotation: false,
in_type_alias: false,
in_comp_inner_loop_target: false,
scope_info: None,
};
this.enter_scope("top", CompilerScope::Module, 0);
this
Expand Down Expand Up @@ -1084,62 +1090,40 @@ impl SymbolTableBuilder {
) -> SymbolTableResult {
use ruff_python_ast::*;

// Check for expressions not allowed in type parameters scope
if let Some(table) = self.tables.last()
&& table.typ == CompilerScope::TypeParams
&& let Some(keyword) = match expression {
Expr::Yield(_) | Expr::YieldFrom(_) => Some("yield"),
Expr::Await(_) => Some("await"),
Expr::Named(_) => Some("named"),
_ => None,
}
{
return Err(SymbolTableError {
error: format!("{keyword} expression cannot be used within a type parameter"),
location: Some(
self.source_file
.to_source_code()
.source_location(expression.range().start(), PositionEncoding::Utf8),
),
});
}

// Check for expressions not allowed in annotations
if self.in_annotation
&& let Some(keyword) = match expression {
Expr::Yield(_) | Expr::YieldFrom(_) => Some("'yield'"),
Expr::Await(_) => Some("'await'"),
Expr::Named(_) => Some("named expression"),
_ => None,
}
{
return Err(SymbolTableError {
error: format!("{keyword} cannot be used within an annotation"),
location: Some(
self.source_file
.to_source_code()
.source_location(expression.range().start(), PositionEncoding::Utf8),
),
});
}
// Check for expressions not allowed in certain contexts
// (type parameters, annotations, type aliases, TypeVar bounds/defaults)
if let Some(keyword) = match expression {
Expr::Yield(_) | Expr::YieldFrom(_) => Some("yield"),
Expr::Await(_) => Some("await"),
Expr::Named(_) => Some("named"),
_ => None,
} {
// Determine the context name for the error message
// scope_info takes precedence (e.g., "a TypeVar bound")
let context_name = if let Some(scope_info) = self.scope_info {
Some(scope_info)
} else if let Some(table) = self.tables.last()
&& table.typ == CompilerScope::TypeParams
{
Some("a type parameter")
} else if self.in_annotation {
Some("an annotation")
} else if self.in_type_alias {
Some("a type alias")
} else {
None
};

// Check for expressions not allowed in type alias
if self.in_type_alias
&& let Some(keyword) = match expression {
Expr::Yield(_) | Expr::YieldFrom(_) => Some("'yield'"),
Expr::Await(_) => Some("'await'"),
Expr::Named(_) => Some("named expression"),
_ => None,
if let Some(context_name) = context_name {
return Err(SymbolTableError {
error: format!("{keyword} expression cannot be used within {context_name}"),
location: Some(
self.source_file
.to_source_code()
.source_location(expression.range().start(), PositionEncoding::Utf8),
),
});
}
{
return Err(SymbolTableError {
error: format!("{keyword} cannot be used within a type alias"),
location: Some(
self.source_file
.to_source_code()
.source_location(expression.range().start(), PositionEncoding::Utf8),
),
});
}

match expression {
Expand Down Expand Up @@ -1485,7 +1469,13 @@ impl SymbolTableBuilder {

let mut is_first_generator = true;
for generator in generators {
// Set flag for INNER_LOOP_CONFLICT check (only for inner loops, not the first)
if !is_first_generator {
self.in_comp_inner_loop_target = true;
}
self.scan_expression(&generator.target, ExpressionContext::Iter)?;
self.in_comp_inner_loop_target = false;

if is_first_generator {
is_first_generator = false;
} else {
Expand All @@ -1508,19 +1498,29 @@ impl SymbolTableBuilder {

/// Scan type parameter bound or default in a separate scope
// = symtable_visit_type_param_bound_or_default
fn scan_type_param_bound_or_default(&mut self, expr: &Expr, name: &str) -> SymbolTableResult {
fn scan_type_param_bound_or_default(
&mut self,
expr: &Expr,
scope_name: &str,
scope_info: &'static str,
) -> SymbolTableResult {
// Enter a new TypeParams scope for the bound/default expression
// This allows the expression to access outer scope symbols
let line_number = self.line_index_start(expr.range());
self.enter_scope(name, CompilerScope::TypeParams, line_number);
self.enter_scope(scope_name, CompilerScope::TypeParams, line_number);

// Note: In CPython, can_see_class_scope is preserved in the new scope
// In RustPython, this is handled through the scope hierarchy

// Set scope_info for better error messages
let old_scope_info = self.scope_info;
self.scope_info = Some(scope_info);

// Scan the expression in this new scope
let result = self.scan_expression(expr, ExpressionContext::Load);

// Exit the scope
// Restore scope_info and exit the scope
self.scope_info = old_scope_info;
self.leave_scope();

result
Expand Down Expand Up @@ -1564,18 +1564,25 @@ impl SymbolTableBuilder {

// Process bound in a separate scope
if let Some(binding) = bound {
let scope_name = if binding.is_tuple_expr() {
format!("<TypeVar constraint of {name}>")
let (scope_name, scope_info) = if binding.is_tuple_expr() {
(
format!("<TypeVar constraint of {name}>"),
"a TypeVar constraint",
)
} else {
format!("<TypeVar bound of {name}>")
(format!("<TypeVar bound of {name}>"), "a TypeVar bound")
};
self.scan_type_param_bound_or_default(binding, &scope_name)?;
self.scan_type_param_bound_or_default(binding, &scope_name, scope_info)?;
}

// Process default in a separate scope
if let Some(default_value) = default {
let scope_name = format!("<TypeVar default of {name}>");
self.scan_type_param_bound_or_default(default_value, &scope_name)?;
self.scan_type_param_bound_or_default(
default_value,
&scope_name,
"a TypeVar default",
)?;
}
}
TypeParam::ParamSpec(TypeParamParamSpec {
Expand All @@ -1589,7 +1596,11 @@ impl SymbolTableBuilder {
// Process default in a separate scope
if let Some(default_value) = default {
let scope_name = format!("<ParamSpec default of {name}>");
self.scan_type_param_bound_or_default(default_value, &scope_name)?;
self.scan_type_param_bound_or_default(
default_value,
&scope_name,
"a ParamSpec default",
)?;
}
}
TypeParam::TypeVarTuple(TypeParamTypeVarTuple {
Expand All @@ -1603,7 +1614,11 @@ impl SymbolTableBuilder {
// Process default in a separate scope
if let Some(default_value) = default {
let scope_name = format!("<TypeVarTuple default of {name}>");
self.scan_type_param_bound_or_default(default_value, &scope_name)?;
self.scan_type_param_bound_or_default(
default_value,
&scope_name,
"a TypeVarTuple default",
)?;
}
}
}
Expand Down Expand Up @@ -1742,6 +1757,23 @@ impl SymbolTableBuilder {
// Some checks for the symbol that present on this scope level:
let symbol = if let Some(symbol) = table.symbols.get_mut(name.as_ref()) {
let flags = &symbol.flags;

// INNER_LOOP_CONFLICT: comprehension inner loop cannot rebind
// a variable that was used as a named expression target
// Example: [i for i in range(5) if (j := 0) for j in range(5)]
// Here 'j' is used in named expr first, then as inner loop iter target
if self.in_comp_inner_loop_target
&& flags.contains(SymbolFlags::ASSIGNED_IN_COMPREHENSION)
{
return Err(SymbolTableError {
error: format!(
"comprehension inner loop cannot rebind assignment expression target '{}'",
name
),
location,
});
}

// Role already set..
match role {
SymbolUsage::Global if !symbol.is_global() => {
Expand Down
Loading