[syntax-error]: no binding for nonlocal PLE0117 as a semantic syntax error (#21032)

<!--
Thank you for contributing to Ruff/ty! To help us out with reviewing,
please consider the following:

- Does this pull request include a summary of the change? (See below.)
- Does this pull request include a descriptive title? (Please prefix
with `[ty]` for ty pull
  requests.)
- Does this pull request include references to any relevant issues?
-->

## Summary

<!-- What's the purpose of the change? What does it do, and why? -->

This PR ports PLE0117 as a semantic syntax error.

## Test Plan

<!-- How was it tested? -->
Tests previously written

---------

Signed-off-by: 11happy <soni5happy@gmail.com>
Co-authored-by: Brent Westbrook <36778786+ntBre@users.noreply.github.com>
Co-authored-by: Brent Westbrook <brentrwestbrook@gmail.com>
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
This commit is contained in:
Bhuminjay Soni
2025-11-06 00:43:28 +05:30
committed by GitHub
parent eda85f3c64
commit cddc0fedc2
6 changed files with 44 additions and 24 deletions

View File

@@ -2712,6 +2712,12 @@ impl SemanticSyntaxContext for SemanticIndexBuilder<'_, '_> {
None
}
// We handle the one syntax error that relies on this method (`NonlocalWithoutBinding`) directly
// in `TypeInferenceBuilder::infer_nonlocal_statement`, so this just returns `true`.
fn has_nonlocal_binding(&self, _name: &str) -> bool {
true
}
fn in_async_context(&self) -> bool {
for scope_info in self.scope_stack.iter().rev() {
let scope = &self.scopes[scope_info.file_scope_id];