Support compile(module=...) across AST warning paths - #8947

• This PR follows our AI policy

Summary

Add Python 3.15's keyword-only compile(module=...) argument for SyntaxWarning filtering, including AST-only compilation and type comments. This is an independent native prerequisite for the 3.15 importlib/bootstrap migration; the advertised Python version and bundled libraries remain unchanged.

• Validate module as str or None, keep diagnostic filenames separate, and preserve the existing Rust compile APIs through wrappers
• Route existing AST format-spec diagnostics through a fallible, explicit-context boundary over the validated AST before preprocessing
• Inspect literal spans so raw strings and comments do not become false SyntaxErrors, while nested nonraw warnings and distinct literals survive optimization
• Map function-type argument/return fragments back to original source locations
• Suppress duplicate TYPE_COMMENTS escape emissions using per-invocation offset tracking; warning callbacks can re-enter compile without sharing state
• Preserve arbitrary warning-handler exceptions; convert escalated SyntaxWarning through the existing SyntaxError formatter

The implementation does not run a new whole-source warning scan before every AST parse or keep mutable warning context in VM-global/thread-local state.

Reference: CPython v3.15.0rc2, commit 435c9e5a798c99653e3ab64ce29baed0e4f3dfee. Its importlib source loader supplies this module context when compiling source.

Validation

Independent branch at a86db2711a26ece3781f39fea7b48c042f59bb3f:

• Release build with SQLite enabled, source-isolation checks, and the expanded native regression snippet pass
• The same snippet passes exact CPython 3.15.0rc2; its older-CPython comparison uses the existing version guard while RustPython always executes every assertion
• -m test test_compile test_ast test_warnings test_site test_support test_importlib test_pkgutil --timeout 180: all seven suites successful, 2,156 run and 152 skipped
• Independent 540-case differential corpus completed. Final membership cleanup produced byte-identical outputs to the reviewed candidate. 485 records match CPython exactly; 48 retain baseline detection/parser/traversal limitations and seven have the diagnostic differences below. All 180 optimization/folding controls match
• Full bounded snippet aggregate: 469 passed, 13 failed. The failures are the unchanged executor/stress set: ten AF_UNIX socket permission failures, two chown errno differences, and one CPython 3.14 GC/import timeout. No new snippet failures
• Workspace Rust tests: 1,345 passed, 18 ignored, no failures or warnings
• Separate C-API tests: 115 passed, 4 ignored; workspace and separate C-API all-targets Clippy both passed without warnings
• Normal configured commit hooks and diff checks pass

Remaining scope limits

This does not claim full compiler-warning parity. Existing missing warnings for ordinary AST-only literals and some ordinary-source/raw/template paths, and unrelated parser/traversal ordering, remain outside this change.

The shared diagnostic formatter also retains precise differences from CPython: three nested-template error cases point at the actual backslash rather than CPython's shifted position; three function-type cases append a newline to SyntaxError.text; one existing codegen case lacks end fields and differs in source text. These do not change module filtering, exception identity/type, valid-source acceptance, or duplicate suppression. They are recorded rather than hidden behind skips or CPython-specific caret adjustments.

AI assistance

OpenAI Codex assisted with implementation, CPython comparison, tests, review, and this description under maintainer direction. The runtime did not expose the exact model version. Results are automated Linux x86_64 verification; no additional human-use or untested-platform validation is claimed.

Summary by CodeRabbit

• New Features
  • Added an optional keyword-only module argument to compile(). Its value is included in compiler warning messages, while source filenames remain unchanged.
  • Invalid escape warnings in format specifications are now reported during parsing.
• Bug Fixes
  • Prevented duplicate invalid escape warnings across parsing and compilation.
  • Invalid values for module now raise a TypeError.