type-python 0.3.1__tar.gz → 0.4.0__tar.gz

{type_python-0.3.1 → type_python-0.4.0}/Cargo.lock

@@ -1779,7 +1779,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-binding"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "typepython-diagnostics",
  "typepython-syntax",
@@ -1787,7 +1787,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-checking"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "criterion",
  "proptest",
@@ -1802,7 +1802,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-cli"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -1835,7 +1835,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-config"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "serde",
  "thiserror",
@@ -1845,7 +1845,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-diagnostics"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "serde",
  "serde_json",
@@ -1853,7 +1853,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-emit"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "insta",
  "littrs-ruff-python-ast",
@@ -1866,7 +1866,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-graph"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "criterion",
  "typepython-binding",
@@ -1875,7 +1875,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-incremental"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "serde",
  "serde_json",
@@ -1887,7 +1887,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-lowering"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "criterion",
  "insta",
@@ -1902,7 +1902,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-lsp"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "anyhow",
  "criterion",
@@ -1925,7 +1925,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-project"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "anyhow",
  "glob",
@@ -1939,7 +1939,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-syntax"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "criterion",
  "littrs-ruff-python-ast",
@@ -1953,7 +1953,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-target"
-version = "0.3.1"
+version = "0.4.0"
 dependencies = [
  "serde",
 ]

{type_python-0.3.1 → type_python-0.4.0}/Cargo.toml

@@ -22,7 +22,7 @@ authors = ["unadlib"]
 edition = "2024"
 license = "MIT"
 rust-version = "1.94.0"
-version = "0.3.1"
+version = "0.4.0"
 
 [workspace.dependencies]
 anyhow = "1"

{type_python-0.3.1 → type_python-0.4.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: type-python
-Version: 0.3.1
+Version: 0.4.0
 Summary: A statically-typed authoring language that compiles to standard Python
 Author: unadlib
 License-Expression: MIT
@@ -9,13 +9,15 @@ Project-URL: Repository, https://github.com/type-python/type-python
 Project-URL: Documentation, https://github.com/type-python/type-python/tree/main/docs
 Project-URL: Issues, https://github.com/type-python/type-python/issues
 Keywords: typepython,type-checking,compiler,python,static-typing
-Classifier: Development Status :: 3 - Alpha
+Classifier: Development Status :: 4 - Beta
 Classifier: Intended Audience :: Developers
 Classifier: Programming Language :: Python :: 3
 Classifier: Programming Language :: Python :: 3.9
 Classifier: Programming Language :: Python :: 3.10
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
 Classifier: Programming Language :: Rust
 Classifier: Topic :: Software Development :: Compilers
 Classifier: Topic :: Software Development :: Quality Assurance
@@ -44,8 +46,10 @@ output runs anywhere CPython runs.
 
 **No custom runtime. No per-checker plugin. No vendor lock-in.**
 
-> Status: **alpha** (v0.3.0). The compiler core, type checker, and LSP are
-> stable; framework adapters and runtime validators are in prototype.
+> Status: **Core v1 Beta** (v0.4.0). Core syntax, config, `init`/`check`/`build`/
+> `clean`/`verify`, diagnostic code identity, and emitted `.py`/`.pyi` compatibility
+> are the stable Beta surfaces. LSP UX, adapter manifests, runtime validators, and
+> migration heuristics remain prototype/experimental.
 > Bug reports and contributions are very welcome.
 
 ## Install
@@ -160,6 +164,7 @@ hazards for frameworks that introspect annotations.
 - [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
 - [Migration Guide](https://github.com/type-python/type-python/blob/main/docs/migration-guide.md)
 - [Framework Adapters](https://github.com/type-python/type-python/blob/main/docs/framework-adapters.md)
+- [Beta Readiness](https://github.com/type-python/type-python/blob/main/docs/beta-readiness.md)
 - [Language Spec v1](https://github.com/type-python/type-python/blob/main/docs/spec/language-spec-v1.md)
 
 ## Links

{type_python-0.3.1 → type_python-0.4.0}/README-PyPI.md

@@ -17,8 +17,10 @@ output runs anywhere CPython runs.
 
 **No custom runtime. No per-checker plugin. No vendor lock-in.**
 
-> Status: **alpha** (v0.3.0). The compiler core, type checker, and LSP are
-> stable; framework adapters and runtime validators are in prototype.
+> Status: **Core v1 Beta** (v0.4.0). Core syntax, config, `init`/`check`/`build`/
+> `clean`/`verify`, diagnostic code identity, and emitted `.py`/`.pyi` compatibility
+> are the stable Beta surfaces. LSP UX, adapter manifests, runtime validators, and
+> migration heuristics remain prototype/experimental.
 > Bug reports and contributions are very welcome.
 
 ## Install
@@ -133,6 +135,7 @@ hazards for frameworks that introspect annotations.
 - [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
 - [Migration Guide](https://github.com/type-python/type-python/blob/main/docs/migration-guide.md)
 - [Framework Adapters](https://github.com/type-python/type-python/blob/main/docs/framework-adapters.md)
+- [Beta Readiness](https://github.com/type-python/type-python/blob/main/docs/beta-readiness.md)
 - [Language Spec v1](https://github.com/type-python/type-python/blob/main/docs/spec/language-spec-v1.md)
 
 ## Links

{type_python-0.3.1 → type_python-0.4.0}/README.md

@@ -14,7 +14,7 @@
   <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg" alt="License: MIT" /></a>
   <a href="https://www.python.org/"><img src="https://img.shields.io/badge/python-3.9%2B-blue.svg" alt="Python 3.9+" /></a>
   <a href="https://www.rust-lang.org/"><img src="https://img.shields.io/badge/built%20with-rust-orange.svg" alt="Built with Rust" /></a>
-  <a href="https://github.com/type-python/type-python/issues"><img src="https://img.shields.io/badge/status-alpha-yellow.svg" alt="Alpha" /></a>
+  <a href="https://github.com/type-python/type-python/issues"><img src="https://img.shields.io/badge/status-Core%20v1%20Beta-blue.svg" alt="Core v1 Beta" /></a>
 </p>
 
 <p align="center">
@@ -163,8 +163,9 @@ A few stronger guarantees are author-time only — they live in your `.tpy` sour
 | `sealed class` exhaustiveness      | external checkers see a normal class           |
 | `unsafe:` audit fence              | erased; lowered to valid Python                |
 | `TypedDict` transforms             | expanded to standard `TypedDict` shapes        |
+| effect, taint, and witness facts   | checked at author-time; erased or sidecar-only |
 
-This trade is intentional: **you get stronger checks while authoring; consumers get clean, portable Python they can read with mypy, pyright, ty, IDEs, and any PEP 561 tool**. See [`docs/interop.md`](docs/interop.md).
+This trade is intentional: **you get stronger checks while authoring; consumers get clean, portable Python they can read with mypy, pyright, ty, IDEs, and any PEP 561 tool**. See [`docs/interop.md`](docs/interop.md) and [`docs/author-time-semantics.md`](docs/author-time-semantics.md).
 
 ## For library and framework authors
 
@@ -197,17 +198,23 @@ class BaseModel: ...
 
 ## Project status
 
-TypePython is **alpha** (v0.3.0). The breakdown:
+TypePython is **Core v1 Beta** (v0.4.0). The Beta claim is deliberately scoped: Core syntax,
+configuration, `init`/`check`/`build`/`clean`/`verify`, diagnostic code identity, and emitted
+`.py`/`.pyi` compatibility are the stable surfaces. DX and Experimental features ship for feedback
+but are not compatibility-stable. See [`docs/beta-readiness.md`](docs/beta-readiness.md).
+
+The breakdown:
 
 | Tier             | What's there                                                                                                                                                                                                                                                                                                                                                       |
 | ---------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
-| **Stable core**  | `.tpy` / `.py` / `.pyi` parsing and project discovery; checker for the documented Core v1 feature set; `.py` lowering and `.pyi` generation; incremental CLI / LSP cache; `build`, `check`, `verify`, `compat`, `api-diff`, `type-health`, `migrate`; LSP diagnostics, navigation, completion, hover, formatting, code actions.                                    |
-| **Prototype**    | framework transform metadata and `typepython-framework.toml` adapter validation; framework shape synthesis for representative fixture families; boundary validator generation and delegated validator adapters; checker portability profiles and allowlists.                                                                                                      |
-| **Experimental** | shape projection beyond `TypedDict` and dataclass-backed shapes; conditional return syntax; sync/async dual emit paths; notebook ingestion and other deferred research tracks.                                                                                                                                                                                     |
+| **Core v1 Beta** | `.tpy` Core syntax; project discovery and `typepython.toml` Core config; `init`, `check`, `build`, `clean`, `verify`; diagnostic code identity; `.py` lowering and `.pyi` generation with no mandatory TypePython runtime.                                                                           |
+| **DX prototype** | `watch`, LSP UX details, `compat`, `api-diff`, `type-health`, `migrate`, checker portability profiles, type budgets, and migration dashboards.                                                                                                                                                        |
+| **Experimental** | framework adapter manifests, runtime validators, shape projection beyond `TypedDict`, conditional return syntax, sync/async dual emit paths, notebook ingestion, and other deferred research tracks.                                                                                                                                                                  |
 
 Conformance and diagnostic-coverage reports are checked into the repo: [`docs/conformance-report.md`](docs/conformance-report.md), [`docs/diagnostic-test-coverage.md`](docs/diagnostic-test-coverage.md).
 
-> **It's early.** The compiler is one maintainer plus contributors; the spec is a v1 draft. Expect rough edges. Bug reports, design feedback, and PRs all carry weight at this stage.
+> **Beta does not mean all roadmap features are stable.** It means the Core v1 authoring and emit
+> contract is ready for serious trial use while DX and Experimental surfaces continue to evolve.
 
 ## Configuration
 
@@ -241,6 +248,7 @@ Full reference: [`docs/configuration.md`](docs/configuration.md).
 | [`config-loader/`](examples/config-loader/) | `unknown`, unsafe boundaries, trust-boundary parsing patterns |
 | [`event-system/`](examples/event-system/)   | sealed events, interfaces, data classes, generics             |
 | [`showcase/`](examples/showcase/)           | multi-file feature showcase                                   |
+| [`research-roadmap-demo/`](examples/research-roadmap-demo/) | effect rows, Shape projection, restricted evaluator, taint, validator witnesses |
 
 Framework and downstream-checker fixtures: [`test-fixtures/downstream-checkers/`](test-fixtures/downstream-checkers/).
 
@@ -280,7 +288,9 @@ Full guide: [`docs/migration-guide.md`](docs/migration-guide.md).
 | You care how the output behaves in mypy/pyright | [Interoperability](docs/interop.md)           |
 | You're adopting it in an existing codebase   | [Migration Guide](docs/migration-guide.md)       |
 | You're a framework author                    | [Framework Adapters](docs/framework-adapters.md) |
+| You're evaluating Beta stability             | [Beta Readiness](docs/beta-readiness.md)         |
 | You want the crate map / pipeline diagram    | [Architecture](docs/architecture.md)             |
+| You're evaluating the P0-P4 research slices  | [Author-Time Semantics](docs/author-time-semantics.md) |
 | You're sending a PR                          | [Contributing](docs/contributing.md)             |
 | You have a quick question                    | [FAQ](docs/faq.md)                               |
 | You need normative semantics                 | [Language Spec v1](docs/spec/language-spec-v1.md) |
@@ -307,4 +317,4 @@ See [`docs/contributing.md`](docs/contributing.md) for the full PR workflow.
 
 ## License
 
-[MIT](LICENSE) © contributors
+[MIT](LICENSE)

{type_python-0.3.1 → type_python-0.4.0}/crates/typepython_checking/src/assignments.rs

@@ -531,6 +531,43 @@ impl TypedDictExtraItemsShape {
     }
 }
 
+impl TypedDictShape {
+    pub(crate) fn from_shape(shape: &Shape) -> Self {
+        Self {
+            name: shape.name.clone(),
+            fields: shape
+                .fields
+                .iter()
+                .map(|field| {
+                    (
+                        field.public_alias.clone(),
+                        TypedDictFieldShape {
+                            value_type: field
+                                .semantic_type
+                                .as_ref()
+                                .map(render_semantic_type)
+                                .unwrap_or_else(|| String::from("object")),
+                            value_type_expr: None,
+                            required: field.required,
+                            readonly: field.readonly,
+                        },
+                    )
+                })
+                .collect(),
+            closed: shape.closed,
+            extra_items: shape.extra_items.as_ref().map(|extra| TypedDictExtraItemsShape {
+                value_type: extra
+                    .semantic_type
+                    .as_ref()
+                    .map(render_semantic_type)
+                    .unwrap_or_else(|| String::from("object")),
+                value_type_expr: None,
+                readonly: extra.readonly,
+            }),
+        }
+    }
+}
+
 impl DataclassTransformFieldShape {
     #[must_use]
     pub(crate) fn rendered_annotation(&self) -> String {
@@ -703,6 +740,28 @@ impl Shape {
         )
     }
 
+    #[allow(dead_code)]
+    pub(crate) fn map_values(&self, wrapper: &str) -> Option<Self> {
+        match wrapper {
+            "Optional" => {
+                Some(self.with_projected_fields(self.fields.iter().cloned().map(|mut field| {
+                    let inner = field
+                        .semantic_type
+                        .take()
+                        .unwrap_or_else(|| SemanticType::Name(String::from("object")));
+                    field.semantic_type = Some(SemanticType::Generic {
+                        head: String::from("Optional"),
+                        args: vec![inner],
+                    });
+                    field.source_kind = ShapeFieldSourceKind::ProjectionGenerated;
+                    field
+                })))
+            }
+            "Readonly" | "ReadOnly" => Some(self.readonly_fields()),
+            _ => None,
+        }
+    }
+
     fn with_projected_fields(&self, fields: impl IntoIterator<Item = ShapeField>) -> Self {
         Self {
             name: self.name.clone(),

{type_python-0.3.1 → type_python-0.4.0}/crates/typepython_checking/src/calls/call_diagnostics.rs

@@ -1627,18 +1627,12 @@ pub(super) fn dataclass_transform_constructor_keyword_diagnostics(
 }
 
 pub(super) fn direct_unresolved_paramspec_call_diagnostics(
+    context: &CheckerContext<'_>,
     node: &typepython_graph::ModuleNode,
     nodes: &[typepython_graph::ModuleNode],
 ) -> Vec<Diagnostic> {
-    if node.module_path.to_string_lossy().starts_with('<') {
-        return Vec::new();
-    }
-
-    let Ok(source) = fs::read_to_string(&node.module_path) else {
-        return Vec::new();
-    };
-
-    typepython_syntax::collect_direct_call_context_sites(&source)
+    context
+        .load_direct_call_context_sites(node)
         .into_iter()
         .filter_map(|call_site| {
             if let Some((_, function)) = resolve_function_provider_with_node(nodes, node, &call_site.callee)

{type_python-0.3.1 → type_python-0.4.0}/crates/typepython_checking/src/calls/callable_resolution.rs

@@ -476,6 +476,13 @@ pub(super) fn undecidable_decorator_diagnostics(
             if decorated.decorators.is_empty() {
                 return None;
             }
+            if decorated
+                .decorators
+                .iter()
+                .all(|decorator| decorator_is_semantic_metadata_only(decorator))
+            {
+                return None;
+            }
             if decorated.decorators.iter().any(|decorator| {
                 decorator.rsplit('.').next().unwrap_or(decorator) == "dual_emit"
             }) {
@@ -518,6 +525,37 @@ pub(super) fn undecidable_decorator_diagnostics(
         .collect()
 }
 
+fn decorator_is_semantic_metadata_only(decorator: &str) -> bool {
+    let target = decorator.split_once(':').map_or(decorator, |(target, _)| target);
+    let short = target.rsplit('.').next().unwrap_or(target);
+    matches!(
+        short,
+        "effect"
+            | "effectful"
+            | "effect_pure"
+            | "pure"
+            | "effect_unsafe"
+            | "effect_io_fs"
+            | "effect_io_net"
+            | "effect_io_proc"
+            | "effect_time"
+            | "effect_random"
+            | "effect_runtime_validation"
+            | "effect_taint_sanitize"
+            | "source"
+            | "sink"
+            | "sanitizer"
+            | "trusted_validator"
+            | "validator"
+            | "must_use"
+            | "must_call"
+            | "must_close"
+            | "must_dispose"
+            | "must_await"
+            | "must_consume"
+    )
+}
+
 fn framework_owned_decorator_diagnostic(
     node: &typepython_graph::ModuleNode,
     nodes: &[typepython_graph::ModuleNode],
@@ -1249,6 +1287,11 @@ pub(super) fn resolve_decorated_callable_semantic_type_for_declaration_with_cont
     if decorated.decorators.is_empty() {
         return None;
     }
+    let transform_decorators = decorated
+        .decorators
+        .iter()
+        .filter(|decorator| !decorator_is_semantic_metadata_only(decorator))
+        .collect::<Vec<_>>();
 
     let callable = context.load_declaration_semantics(declaration).callable?;
     let base_signature = callable.params;
@@ -1261,7 +1304,7 @@ pub(super) fn resolve_decorated_callable_semantic_type_for_declaration_with_cont
         callable.return_type?
     };
     let mut current = semantic_callable_type_from_signature_sites_in_module(node, &base_signature, &base_return);
-    for decorator in decorated.decorators.iter().rev() {
+    for decorator in transform_decorators.into_iter().rev() {
         let Some(next) = apply_named_callable_decorator_transform_semantic_with_context(
             context,
             node,

{type_python-0.3.1 → type_python-0.4.0}/crates/typepython_checking/src/calls/member_access.rs

@@ -1,7 +1,9 @@
 pub(super) fn direct_member_access_diagnostics(
+    context: &CheckerContext<'_>,
     node: &typepython_graph::ModuleNode,
     nodes: &[typepython_graph::ModuleNode],
 ) -> Vec<Diagnostic> {
+    let source = context.load_source_text(node);
     node.member_accesses
         .iter()
         .filter_map(|access| {
@@ -47,8 +49,12 @@ pub(super) fn direct_member_access_diagnostics(
                         access.member
                     ),
                 );
-                if let Some((span, replacement)) =
-                    union_member_guard_suggestion(&node.module_path, access, &available)
+                if let Some((span, replacement)) = union_member_guard_suggestion(
+                    source.as_deref(),
+                    &node.module_path,
+                    access,
+                    &available,
+                )
                 {
                     diagnostic = diagnostic.with_suggestion(
                         format!(
@@ -131,6 +137,7 @@ pub(super) fn type_has_readable_member(
 }
 
 pub(super) fn union_member_guard_suggestion(
+    source: Option<&str>,
     module_path: &std::path::Path,
     access: &typepython_binding::MemberAccessSite,
     available_branches: &[String],
@@ -142,7 +149,7 @@ pub(super) fn union_member_guard_suggestion(
     if guard_types.is_empty() {
         return None;
     }
-    let source = fs::read_to_string(module_path).ok()?;
+    let source = source?;
     let line_text = source.lines().nth(access.line.checked_sub(1)?)?;
     let indent = leading_space_count(line_text);
     let guard = if guard_types.len() == 1 {

{type_python-0.3.1 → type_python-0.4.0}/crates/typepython_checking/src/declarations.rs

@@ -190,15 +190,12 @@ pub(super) fn method_override_incompatibility(
 }
 
 pub(super) fn missing_override_diagnostics<'a>(
+    context: &CheckerContext<'_>,
     node: &'a typepython_graph::ModuleNode,
     nodes: &'a [typepython_graph::ModuleNode],
 ) -> Vec<Diagnostic> {
     let declarations = &node.declarations;
-    let source = if node.module_path.to_string_lossy().starts_with('<') {
-        None
-    } else {
-        fs::read_to_string(&node.module_path).ok()
-    };
+    let source = context.load_source_text(node);
     let mut diagnostics = Vec::new();
 
     for declaration in declarations.iter().filter(|declaration| {
@@ -506,9 +503,11 @@ pub(super) fn resolve_direct_base<'a>(
 }
 
 pub(super) fn sealed_match_exhaustiveness_diagnostics(
+    context: &CheckerContext<'_>,
     node: &typepython_graph::ModuleNode,
     nodes: &[typepython_graph::ModuleNode],
 ) -> Vec<Diagnostic> {
+    let source = context.load_source_text(node);
     node.matches
         .iter()
         .filter_map(|match_site| {
@@ -567,6 +566,7 @@ pub(super) fn sealed_match_exhaustiveness_diagnostics(
                 .collect::<Vec<_>>();
             Some(attach_match_case_suggestion(
                 diagnostic,
+                source.as_deref(),
                 &node.module_path,
                 match_site,
                 &rendered_cases,
@@ -576,9 +576,11 @@ pub(super) fn sealed_match_exhaustiveness_diagnostics(
 }
 
 pub(super) fn enum_match_exhaustiveness_diagnostics(
+    context: &CheckerContext<'_>,
     node: &typepython_graph::ModuleNode,
     nodes: &[typepython_graph::ModuleNode],
 ) -> Vec<Diagnostic> {
+    let source = context.load_source_text(node);
     node.matches
         .iter()
         .filter_map(|match_site| {
@@ -648,6 +650,7 @@ pub(super) fn enum_match_exhaustiveness_diagnostics(
                 .collect::<Vec<_>>();
             Some(attach_match_case_suggestion(
                 diagnostic,
+                source.as_deref(),
                 &node.module_path,
                 match_site,
                 &rendered_cases,
@@ -657,9 +660,11 @@ pub(super) fn enum_match_exhaustiveness_diagnostics(
 }
 
 pub(super) fn literal_match_exhaustiveness_diagnostics(
+    context: &CheckerContext<'_>,
     node: &typepython_graph::ModuleNode,
     nodes: &[typepython_graph::ModuleNode],
 ) -> Vec<Diagnostic> {
+    let source = context.load_source_text(node);
     node.matches
         .iter()
         .filter_map(|match_site| {
@@ -707,6 +712,7 @@ pub(super) fn literal_match_exhaustiveness_diagnostics(
                 missing.iter().map(|value| format!("case {value}:\n    ...")).collect::<Vec<_>>();
             Some(attach_match_case_suggestion(
                 diagnostic,
+                source.as_deref(),
                 &node.module_path,
                 match_site,
                 &rendered_cases,
@@ -717,13 +723,14 @@ pub(super) fn literal_match_exhaustiveness_diagnostics(
 
 pub(super) fn attach_match_case_suggestion(
     diagnostic: Diagnostic,
+    source: Option<&str>,
     module_path: &std::path::Path,
     match_site: &typepython_binding::MatchSite,
     rendered_cases: &[String],
 ) -> Diagnostic {
-    let Some((span, replacement)) =
-        match_case_insertion_edit(module_path, match_site, rendered_cases)
-    else {
+    let Some((span, replacement)) = source.and_then(|source| {
+        match_case_insertion_edit(source, module_path, match_site, rendered_cases)
+    }) else {
         return diagnostic;
     };
     diagnostic.with_suggestion(
@@ -735,6 +742,7 @@ pub(super) fn attach_match_case_suggestion(
 }
 
 pub(super) fn match_case_insertion_edit(
+    source: &str,
     module_path: &std::path::Path,
     match_site: &typepython_binding::MatchSite,
     rendered_cases: &[String],
@@ -742,7 +750,6 @@ pub(super) fn match_case_insertion_edit(
     if rendered_cases.is_empty() {
         return None;
     }
-    let source = fs::read_to_string(module_path).ok()?;
     let lines = source.lines().collect::<Vec<_>>();
     let match_line = *lines.get(match_site.line.checked_sub(1)?)?;
     let match_indent = leading_space_count(match_line);