[syntax-errors] nonlocal declaration at module level

The existing inline tests for nonlocal declaration parsing are no longer valid,
hence we convert them to integration tests after enclosing in a scope.

Author: abhijeetbodas2001

crates/ruff_linter/src/checkers/ast/mod.rs

@@ -619,7 +619,8 @@ impl SemanticSyntaxContext for Checker<'_> {
             | SemanticSyntaxErrorKind::DuplicateMatchKey(_)
             | SemanticSyntaxErrorKind::DuplicateMatchClassAttribute(_)
             | SemanticSyntaxErrorKind::InvalidStarExpression
-            | SemanticSyntaxErrorKind::AsyncComprehensionOutsideAsyncFunction(_) => {
+            | SemanticSyntaxErrorKind::AsyncComprehensionOutsideAsyncFunction(_)
+            | SemanticSyntaxErrorKind::NonlocalDeclarationAtModuleLevel => {
                 if self.settings.preview.is_enabled() {
                     self.semantic_errors.borrow_mut().push(error);
                 }

crates/ruff_linter/src/linter.rs

@@ -1040,6 +1040,50 @@ mod tests {
         assert_messages!(snapshot, messages);
     }
 
+    #[test_case(
+        "trailing_comma",
+        "
+        def f():
+            nonlocal ,
+            nonlocal x,
+            nonlocal x, y,
+		"
+    )]
+    #[test_case(
+        "expression",
+        "
+        def f():
+            nonlocal x + 1
+        "
+    )]
+    #[test_case(
+        "empty",
+        "
+        def f():
+            nonlocal
+        "
+    )]
+    #[test_case(
+        "correct",
+        "
+        def f():
+            nonlocal x
+            nonlocal x, y, z
+        "
+    )]
+    fn test_nonlocal_declarations(name: &str, contents: &str) {
+        let snapshot = format!("nonlocal_declaration_{name}");
+        let messages = test_snippet_syntax_errors(
+            contents,
+            &settings::LinterSettings {
+                rules: settings::rule_table::RuleTable::empty(),
+                preview: settings::types::PreviewMode::Enabled,
+                ..Default::default()
+            },
+        );
+        assert_messages!(snapshot, messages);
+    }
+
     #[test_case(PythonVersion::PY310)]
     #[test_case(PythonVersion::PY311)]
     fn test_async_comprehension_notebook(python_version: PythonVersion) -> Result<()> {

crates/ruff_linter/src/snapshots/ruff_linter__linter__tests__nonlocal_declaration_correct.snap

@@ -0,0 +1,4 @@
+---
+source: crates/ruff_linter/src/linter.rs
+---
+

crates/ruff_linter/src/snapshots/ruff_linter__linter__tests__nonlocal_declaration_empty.snap

@@ -0,0 +1,9 @@
+---
+source: crates/ruff_linter/src/linter.rs
+---
+<filename>:3:13: SyntaxError: Nonlocal statement must have at least one name
+  |
+2 | def f():
+3 |     nonlocal
+  |             ^
+  |

crates/ruff_linter/src/snapshots/ruff_linter__linter__tests__nonlocal_declaration_expression.snap

@@ -0,0 +1,9 @@
+---
+source: crates/ruff_linter/src/linter.rs
+---
+<filename>:3:16: SyntaxError: Simple statements must be separated by newlines or semicolons
+  |
+2 | def f():
+3 |     nonlocal x + 1
+  |                ^
+  |

crates/ruff_linter/src/snapshots/ruff_linter__linter__tests__nonlocal_declaration_trailing_comma.snap

@@ -0,0 +1,37 @@
+---
+source: crates/ruff_linter/src/linter.rs
+---
+<filename>:3:14: SyntaxError: Expected an identifier
+  |
+2 | def f():
+3 |     nonlocal ,
+  |              ^
+4 |     nonlocal x,
+5 |     nonlocal x, y,
+  |
+
+<filename>:3:15: SyntaxError: Nonlocal statement must have at least one name
+  |
+2 | def f():
+3 |     nonlocal ,
+  |               ^
+4 |     nonlocal x,
+5 |     nonlocal x, y,
+  |
+
+<filename>:4:15: SyntaxError: Trailing comma not allowed
+  |
+2 | def f():
+3 |     nonlocal ,
+4 |     nonlocal x,
+  |               ^
+5 |     nonlocal x, y,
+  |
+
+<filename>:5:18: SyntaxError: Trailing comma not allowed
+  |
+3 |     nonlocal ,
+4 |     nonlocal x,
+5 |     nonlocal x, y,
+  |                  ^
+  |

crates/ruff_python_parser/resources/inline/err/nonlocal_declaration_at_module_level.py

@@ -0,0 +1,2 @@
+nonlocal x
+nonlocal x, y