PyPI - pyrefly - Versions diffs - 0.19.0__tar.gz → 0.19.1__tar.gz - Mend

pyrefly 0.19.0tar.gz → 0.19.1tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1021) hide show

{pyrefly-0.19.0 → pyrefly-0.19.1}/Cargo.lock RENAMED Viewed

@@ -75,7 +75,7 @@ checksum = "fe233a377643e0fc1a56421d7c90acdec45c291b30345eb9f08e8d0ddce5a4ab"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -357,7 +357,7 @@ dependencies = [
  "heck",
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -585,7 +585,7 @@ checksum = "97369cbbc041bc366949bc74d34658d6cda5621039731c6310521892a3a20ae0"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -605,7 +605,7 @@ checksum = "83e195b4945e88836d826124af44fdcb262ec01ef94d44f14f4fb5103f19892a"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -637,7 +637,7 @@ checksum = "a1ab991c1362ac86c61ab6f556cff143daa22e5a15e4e189df818b2fd19fe65b"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -779,7 +779,7 @@ checksum = "162ee34ebcb7c64a8abebc059ce0fee27c2262618d7b60ed8faf72fef13c3650"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -850,7 +850,7 @@ dependencies = [
  "cfg-if",
  "js-sys",
  "libc",
- "wasi 0.11.0+wasi-snapshot-preview1",
+ "wasi 0.11.1+wasi-snapshot-preview1",
  "wasm-bindgen",
 ]
@@ -1123,7 +1123,7 @@ dependencies = [
  "heck",
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -1171,26 +1171,6 @@ version = "1.0.15"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "4a5f13b858c8d314ee3e8f639011f7ccefe71f97f96e50151fb991f267928e2c"
-[[package]]
-name = "jemalloc-sys"
-version = "0.5.4+5.3.0-patched"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ac6c1946e1cea1788cbfde01c993b52a10e2da07f4bac608228d1bed20bfebf2"
-dependencies = [
- "cc",
- "libc",
-]
-[[package]]
-name = "jemallocator"
-version = "0.5.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a0de374a9f8e63150e6f5e8a60cc14c668226d7a347d8aee1a45766e3c4dd3bc"
-dependencies = [
- "jemalloc-sys",
- "libc",
-]
 [[package]]
 name = "jobserver"
 version = "0.1.33"
@@ -1251,7 +1231,7 @@ checksum = "c0ff37bd590ca25063e35af745c343cb7a0271906fb7b37e4813e8f79f00268d"
 dependencies = [
  "bitflags 2.9.1",
  "libc",
- "redox_syscall 0.5.12",
+ "redox_syscall 0.5.13",
 ]
 [[package]]
@@ -1342,9 +1322,9 @@ dependencies = [
 [[package]]
 name = "memchr"
-version = "2.7.4"
+version = "2.7.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3"
+checksum = "32a282da65faaf38286cf3be983213fcf1d2e2a58700e808f83f4ea9a4804bc0"
 [[package]]
 name = "memmap2"
@@ -1382,7 +1362,7 @@ checksum = "a4a650543ca06a924e8b371db273b2756685faae30f8487da1b56505a8f78b0c"
 dependencies = [
  "libc",
  "log",
- "wasi 0.11.0+wasi-snapshot-preview1",
+ "wasi 0.11.1+wasi-snapshot-preview1",
  "windows-sys 0.48.0",
 ]
@@ -1393,7 +1373,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "78bed444cc8a2160f01cbcf811ef18cac863ad68ae8ca62092e8db51d51c761c"
 dependencies = [
  "libc",
- "wasi 0.11.0+wasi-snapshot-preview1",
+ "wasi 0.11.1+wasi-snapshot-preview1",
  "windows-sys 0.59.0",
 ]
@@ -1554,7 +1534,7 @@ checksum = "bc838d2a56b5b1a6c25f55575dfc605fabb63bb2365f6c2353ef9159aa69e4a5"
 dependencies = [
  "cfg-if",
  "libc",
- "redox_syscall 0.5.12",
+ "redox_syscall 0.5.13",
  "smallvec",
  "windows-targets 0.52.6",
 ]
@@ -1582,7 +1562,7 @@ dependencies = [
  "regex",
  "regex-syntax 0.7.5",
  "structmeta",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -1754,7 +1734,7 @@ dependencies = [
 [[package]]
 name = "pyrefly"
-version = "0.19.0"
+version = "0.19.1"
 dependencies = [
  "anstream",
  "anyhow",
@@ -1770,7 +1750,6 @@ dependencies = [
  "equivalent",
  "indicatif",
  "itertools 0.14.0",
- "jemallocator",
  "lsp-server",
  "lsp-types",
  "num-bigint",
@@ -1783,6 +1762,7 @@ dependencies = [
  "pyrefly_util",
  "regex",
  "regex-syntax 0.7.5",
+ "ruff_annotate_snippets",
  "ruff_python_ast",
  "ruff_python_parser",
  "ruff_source_file",
@@ -1797,8 +1777,10 @@ dependencies = [
  "tar",
  "tempfile",
  "thiserror 2.0.12",
+ "tikv-jemallocator",
  "tokio",
  "toml",
+ "toml_edit",
  "tracing",
  "vec1",
  "walkdir",
@@ -1813,12 +1795,12 @@ version = "0.0.0"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
 name = "pyrefly_util"
-version = "0.19.0"
+version = "0.19.1"
 dependencies = [
  "anstream",
  "anyhow",
@@ -1951,9 +1933,9 @@ dependencies = [
 [[package]]
 name = "redox_syscall"
-version = "0.5.12"
+version = "0.5.13"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "928fca9cf2aa042393a8325b9ead81d2f0df4cb12e1e24cef072922ccd99c5af"
+checksum = "0d04b7d0ee6b4a0207a0a7adb104d23ecb0b47d6beae7152d0fa34b692b29fd6"
 dependencies = [
  "bitflags 2.9.1",
 ]
@@ -2014,6 +1996,16 @@ version = "1.9.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "ba39f3699c378cd8970968dcbff9c43159ea4cfbd88d43c00b22f2ef10a435d2"
+[[package]]
+name = "ruff_annotate_snippets"
+version = "0.1.0"
+source = "git+https://github.com/astral-sh/ruff/?rev=6e785867c3a97691972e8a49c372b3effba90032#6e785867c3a97691972e8a49c372b3effba90032"
+dependencies = [
+ "anstyle",
+ "memchr",
+ "unicode-width",
+]
 [[package]]
 name = "ruff_python_ast"
 version = "0.0.0"
@@ -2077,9 +2069,9 @@ source = "git+https://github.com/astral-sh/ruff/?rev=6e785867c3a97691972e8a49c37
 [[package]]
 name = "rustc-demangle"
-version = "0.1.24"
+version = "0.1.25"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "719b953e2095829ee67db738b3bfa9fa368c94900df327b3f07fe6e794d2fe1f"
+checksum = "989e6739f80c4ad5b13e0fd7fe89531180375b18520cc8c82080e4dc4035b84f"
 [[package]]
 name = "rustc-hash"
@@ -2197,7 +2189,7 @@ checksum = "5b0276cf7f2c73365f7157c8123c21cd9a50fbbd844757af28ca1f5925fc2a00"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2231,7 +2223,7 @@ checksum = "175ee3e80ae9982737ca543e96133087cbd9a485eecc3bc4de9c1a37b47ea59c"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2391,7 +2383,7 @@ dependencies = [
  "proc-macro2",
  "quote",
  "structmeta-derive",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2402,7 +2394,7 @@ checksum = "a60bcaff7397072dca0017d1db428e30d5002e00b6847703e2e42005c95fbe00"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2424,9 +2416,9 @@ dependencies = [
 [[package]]
 name = "syn"
-version = "2.0.101"
+version = "2.0.102"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8ce2b7fc941b3a24138a0a7cf8e858bfc6a992e7978a068a5c760deb0ed43caf"
+checksum = "f6397daf94fa90f058bd0fd88429dd9e5738999cca8d701813c80723add80462"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2441,7 +2433,7 @@ checksum = "728a70f3dbaf5bab7f0c4b1ac8d7ae5ea60a4b5549c8a5914361c99147a709d2"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2504,7 +2496,7 @@ checksum = "4fee6c4efc90059e10f81e6d42c60a18f76588c3d74cb83a0b242a2b6c7504c1"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2515,7 +2507,7 @@ checksum = "7f7cf42b4507d8ea322120659672cf1b9dbb93f8f2d4ecfd6e51350ff5b17a1d"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2528,6 +2520,26 @@ dependencies = [
  "once_cell",
 ]
+[[package]]
+name = "tikv-jemalloc-sys"
+version = "0.6.0+5.3.0-1-ge13ca993e8ccb9ba9847cc330696e02839f328f7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cd3c60906412afa9c2b5b5a48ca6a5abe5736aec9eb48ad05037a677e52e4e2d"
+dependencies = [
+ "cc",
+ "libc",
+]
+[[package]]
+name = "tikv-jemallocator"
+version = "0.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4cec5ff18518d81584f477e9bfdf957f5bb0979b0bac3af4ca30b5b3ae2d2865"
+dependencies = [
+ "libc",
+ "tikv-jemalloc-sys",
+]
 [[package]]
 name = "time"
 version = "0.3.41"
@@ -2612,7 +2624,7 @@ checksum = "6e06d43f1345a3bcd39f6a56dbb7dcab2ba47e68e8ac134855e7e2bdbaf8cab8"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2691,7 +2703,7 @@ checksum = "1b1ffbcf9c6f6b99d386e7444eb608ba646ae452a36b39737deb9663b610f662"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -2877,9 +2889,9 @@ dependencies = [
 [[package]]
 name = "wasi"
-version = "0.11.0+wasi-snapshot-preview1"
+version = "0.11.1+wasi-snapshot-preview1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423"
+checksum = "ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b"
 [[package]]
 name = "wasi"
@@ -2912,7 +2924,7 @@ dependencies = [
  "log",
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
  "wasm-bindgen-shared",
 ]
@@ -2934,7 +2946,7 @@ checksum = "8ae87ea40c9f689fc23f209965b6fb8a99ad69aeeb0231408be24920604395de"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
  "wasm-bindgen-backend",
  "wasm-bindgen-shared",
 ]
@@ -3040,7 +3052,7 @@ checksum = "a47fddd13af08290e67f4acabf4b459f647552718f683a7b415d290ac744a836"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -3051,14 +3063,14 @@ checksum = "bd9211b69f8dcdfa817bfd14bf1c97c9188afa36f4750130fcdf3f400eca9fa8"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
 name = "windows-link"
-version = "0.1.1"
+version = "0.1.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "76840935b766e1b0a05c0066835fb9ec80071d4c09a16f6bd5f7e655e3c14c38"
+checksum = "5e6ad25900d524eaabdbbb96d20b4311e1e7ae1699af4fb28c17ae66c80d798a"
 [[package]]
 name = "windows-result"
@@ -3294,9 +3306,9 @@ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
 [[package]]
 name = "winnow"
-version = "0.7.10"
+version = "0.7.11"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c06928c8748d81b05c9be96aad92e1b6ff01833332f281e8cfca3be4b35fc9ec"
+checksum = "74c7b26e3480b707944fc872477815d29a8e429d2f93a1ce000f5fa84a15cbcd"
 dependencies = [
  "memchr",
 ]
@@ -3352,7 +3364,7 @@ checksum = "38da3c9736e16c5d3c8c597a9aaa5d1fa565d0532ae05e27c24aa62fb32c0ab6"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
  "synstructure",
 ]
@@ -3373,7 +3385,7 @@ checksum = "28a6e20d751156648aa063f3800b706ee209a32c0b4d9f24be3d980b01be55ef"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]
@@ -3393,7 +3405,7 @@ checksum = "d71e5d6e06ab090c67b5e44993ec16b72dcbaabc526db883a360057678b48502"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
  "synstructure",
 ]
@@ -3427,7 +3439,7 @@ checksum = "5b96237efa0c878c64bd89c436f661be4e46b2f3eff1ebb976f7ef2321d2f58f"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.101",
+ "syn 2.0.102",
 ]
 [[package]]

{pyrefly-0.19.0 → pyrefly-0.19.1}/PKG-INFO RENAMED Viewed

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyrefly
-Version: 0.19.0
+Version: 0.19.1
 Classifier: Development Status :: 3 - Alpha
 Classifier: Programming Language :: Python
 Classifier: Programming Language :: Python :: 3

{pyrefly-0.19.0 → pyrefly-0.19.1}/pyrefly/Cargo.toml RENAMED Viewed

@@ -2,7 +2,7 @@
 [package]
 name = "pyrefly"
-version = "0.19.0"
+version = "0.19.1"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"
@@ -42,6 +42,7 @@ pyrefly_derive = { path = "../pyrefly_derive" }
 pyrefly_util = { path = "../pyrefly_util" }
 regex = "1.11.1"
 regex-syntax = "0.7.5"
+ruff_annotate_snippets = { git = "https://github.com/astral-sh/ruff/", rev = "6e785867c3a97691972e8a49c372b3effba90032" }
 ruff_python_ast = { git = "https://github.com/astral-sh/ruff/", rev = "6e785867c3a97691972e8a49c372b3effba90032" }
 ruff_python_parser = { git = "https://github.com/astral-sh/ruff/", rev = "6e785867c3a97691972e8a49c372b3effba90032" }
 ruff_source_file = { git = "https://github.com/astral-sh/ruff/", rev = "6e785867c3a97691972e8a49c372b3effba90032" }
@@ -57,6 +58,7 @@ tar = "0.4.44"
 thiserror = "2.0.12"
 tokio = { version = "1.45.0", features = ["macros", "rt"] }
 toml = "0.8.22"
+toml_edit = { version = "0.22.26", features = ["serde"] }
 tracing = { version = "0.1.41", features = ["attributes", "valuable"] }
 vec1 = { version = "1", features = ["serde"] }
 walkdir = "2.3"
@@ -71,7 +73,7 @@ tar = "0.4.44"
 zstd = { version = "0.13", features = ["experimental", "zstdmt"] }
 [target.'cfg(any(target_os = "linux", target_os = "macos"))'.dependencies]
-jemallocator = "0.5.4"
+tikv-jemallocator = "0.6.0"
 [target.'cfg(not(target_arch = "wasm32"))'.dependencies]
 which = "4.2.4"

{pyrefly-0.19.0 → pyrefly-0.19.1}/pyrefly/bin/main.rs RENAMED Viewed

@@ -48,7 +48,7 @@ use tracing::info;
 // Making jemalloc the default only when we do a cargo build.
 #[global_allocator]
 #[cfg(all(any(target_os = "linux", target_os = "macos"), not(fbcode_build)))]
-static ALLOC: jemallocator::Jemalloc = jemallocator::Jemalloc;
+static ALLOC: tikv_jemallocator::Jemalloc = tikv_jemallocator::Jemalloc;
 #[derive(Debug, Parser)]
 #[command(name = "pyrefly")]

{pyrefly-0.19.0 → pyrefly-0.19.1}/pyrefly/lib/alt/attr.rs RENAMED Viewed

@@ -527,8 +527,13 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         todo_ctx: &str,
     ) -> Option<Type> {
         let mut narrowed_types = Some(Vec::new());
-        self.map_over_union(base, |base| {
-            match self.lookup_attr_no_union(base, attr_name) {
+        let bases = self.get_possible_attribute_bases(base);
+        for attr_base in bases {
+            let lookup_result = attr_base.map_or_else(
+                || LookupResult::InternalError(InternalError::AttributeBaseUndefined(base.clone())),
+                |attr_base| self.lookup_attr_from_base_no_union(attr_base, attr_name),
+            );
+            match lookup_result {
                 LookupResult::Found(attr) => match attr.inner {
                     AttributeInner::Simple(want, Visibility::ReadWrite) => {
                         let ty = match &got {
@@ -551,8 +556,8 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                         if let Some(narrowed_types) = &mut narrowed_types {
                             narrowed_types.push(ty)
                         }
-                        // Exit early to avoid the hook where we wipe `narrowed_types` in all other cases.
-                        return;
+                        // Avoid the hook where we wipe `narrowed_types` in all other cases.
+                        continue;
                     }
                     AttributeInner::NoAccess(e) => {
                         self.error(
@@ -569,7 +574,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                             range,
                             ErrorKind::ReadOnly,
                             context,
-                            format!("Cannot assign to read-only field `{attr_name}`"),
+                            format!("Cannot assign to read-only attribute `{attr_name}`"),
                         );
                     }
                     AttributeInner::Property(_, None, cls) => {
@@ -658,7 +663,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
             // If we hit anything other than a simple, read-write attribute then we will not infer
             // a type for narrowing.
             narrowed_types = None;
-        });
+        }
         narrowed_types.map(|ts| self.unions(ts))
     }
@@ -671,8 +676,13 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         context: Option<&dyn Fn() -> ErrorContext>,
         todo_ctx: &str,
     ) {
-        self.map_over_union(base, |base| {
-            match self.lookup_attr_no_union(base, attr_name) {
+        let bases = self.get_possible_attribute_bases(base);
+        for attr_base in bases {
+            let lookup_result = attr_base.map_or_else(
+                || LookupResult::InternalError(InternalError::AttributeBaseUndefined(base.clone())),
+                |attr_base| self.lookup_attr_from_base_no_union(attr_base, attr_name),
+            );
+            match lookup_result {
                 LookupResult::Found(attr) => match attr.inner {
                     // TODO: deleting attributes is allowed at runtime, but is not type-safe
                     // except for descriptors that implement `__delete__`
@@ -694,7 +704,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                             range,
                             ErrorKind::ReadOnly,
                             context,
-                            format!("Cannot delete read-only field `{attr_name}`"),
+                            format!("Cannot delete read-only attribute `{attr_name}`"),
                         );
                     }
                     AttributeInner::GetAttr(not_found, _, name) => {
@@ -728,7 +738,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                     );
                 }
             }
-        });
+        }
     }
     pub fn is_attr_subset(
@@ -1175,8 +1185,12 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         }
     }
-    pub fn try_lookup_attr_no_union(&self, base: &Type, attr_name: &Name) -> Option<Attribute> {
-        match self.lookup_attr_no_union(base, attr_name) {
+    pub fn try_lookup_attr_from_class_type(
+        &self,
+        cls: ClassType,
+        attr_name: &Name,
+    ) -> Option<Attribute> {
+        match self.lookup_attr_from_base_no_union(AttributeBase::ClassInstance(cls), attr_name) {
             LookupResult::Found(attr) => Some(attr),
             _ => None,
         }

{pyrefly-0.19.0 → pyrefly-0.19.1}/pyrefly/lib/alt/class/class_field.rs RENAMED Viewed

@@ -146,6 +146,33 @@ impl ClassField {
         })
     }
+    pub fn for_variance_inference(
+        &self,
+    ) -> Option<(
+        &Type,
+        Option<&Annotation>,
+        bool,
+        &Option<Type>,
+        &Option<Type>,
+    )> {
+        match &self.0 {
+            ClassFieldInner::Simple {
+                ty,
+                annotation,
+                readonly,
+                descriptor_getter,
+                descriptor_setter,
+                ..
+            } => Some((
+                ty,
+                annotation.as_ref(),
+                *readonly,
+                descriptor_getter,
+                descriptor_setter,
+            )),
+        }
+    }
     /// Get the raw type. Only suitable for use in this module, this type may
     /// not correspond to the type of any actual operations on the attribute.
     fn raw_type(&self) -> &Type {
@@ -649,9 +676,24 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         let annotation = direct_annotation.or(inherited_annotation.as_ref());
+        let is_namedtuple_member = metadata
+            .named_tuple_metadata()
+            .is_some_and(|named_tuple| named_tuple.elements.contains(name));
+        let is_frozen_dataclass_field = metadata.dataclass_metadata().is_some_and(|dataclass| {
+            dataclass.kws.is_set(&DataclassKeywords::FROZEN) && dataclass.fields.contains(name)
+        });
+        // Read-onlyness
+        let readonly = is_namedtuple_member
+            || is_frozen_dataclass_field
+            || (annotation.is_some_and(|a| a.is_read_only())
+                && matches!(initial_value, ClassFieldInitialValue::Class(_)));
         // Promote literals. The check on `annotation` is an optimization, it does not (currently) affect semantics.
-        // TODO(stroxler): if we see a read-only `Qualifier` like `Final`, it is sound to preserve literals.
-        let value_ty = if annotation.is_none_or(|a| a.ty.is_none()) && value_ty.is_literal() {
+        let value_ty = if (!readonly || is_namedtuple_member)
+            && (annotation.is_none_or(|a| a.ty.is_none()))
+            && value_ty.is_literal()
+        {
             value_ty.clone().promote_literals(self.stdlib)
         } else {
             value_ty.clone()
@@ -718,15 +760,6 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
             ty
         };
-        // TODO: handle other kinds of readonlyness
-        let is_namedtuple_member = metadata
-            .named_tuple_metadata()
-            .is_some_and(|named_tuple| named_tuple.elements.contains(name));
-        let is_frozen_dataclass_field = metadata.dataclass_metadata().is_some_and(|dataclass| {
-            dataclass.kws.is_set(&DataclassKeywords::FROZEN) && dataclass.fields.contains(name)
-        });
-        let readonly = is_namedtuple_member || is_frozen_dataclass_field;
         // Identify whether this is a descriptor
         let (mut descriptor_getter, mut descriptor_setter) = (None, None);
         match &ty {

pyrefly 0.19.0__tar.gz → 0.19.1__tar.gz

pyrefly 0.19.0tar.gz → 0.19.1tar.gz