pyrefly 0.15.0__tar.gz → 0.15.2__tar.gz

{pyrefly-0.15.0 → pyrefly-0.15.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyrefly
-Version: 0.15.0
+Version: 0.15.2
 Classifier: Development Status :: 3 - Alpha
 Classifier: Programming Language :: Python
 Classifier: Programming Language :: Python :: 3
@@ -15,5 +15,19 @@ Keywords: typechecker,typechecking
 Author: Meta
 License: MIT
 Requires-Python: >=3.8
+Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM
 Project-URL: homepage, https://pyrefly.org
 Project-URL: documentation, https://pyrefly.org/en/docs/
+
+# Pyrefly
+
+Currently incomplete and under active development. Please
+[open an issue](https://github.com/facebook/pyrefly/issues/new/choose) if you
+find any bugs.
+
+Pyrefly is a static type checker for Python that helps you catch type-related
+errors before your code runs. It analyzes your Python code to ensure type
+consistency throughout your codebase, making your applications more reliable and
+easier to maintain. Pyrefly supports both IDE integration and CLI usage, giving
+you flexibility in how you incorporate type checking into your workflow.
+

pyrefly-0.15.2/README.md

@@ -0,0 +1,11 @@
+# Pyrefly
+
+Currently incomplete and under active development. Please
+[open an issue](https://github.com/facebook/pyrefly/issues/new/choose) if you
+find any bugs.
+
+Pyrefly is a static type checker for Python that helps you catch type-related
+errors before your code runs. It analyzes your Python code to ensure type
+consistency throughout your codebase, making your applications more reliable and
+easier to maintain. Pyrefly supports both IDE integration and CLI usage, giving
+you flexibility in how you incorporate type checking into your workflow.

{pyrefly-0.15.0 → pyrefly-0.15.2}/pyproject.toml

@@ -15,6 +15,7 @@ documentation = "https://pyrefly.org/en/docs/"
 [project]
 name = "pyrefly"
 description = "A faster Python type checker written in Rust"
+readme = "README.md"
 requires-python = ">=3.8"
 keywords = ["typechecker", "typechecking"]
 classifiers = [

{pyrefly-0.15.0 → pyrefly-0.15.2}/pyrefly/Cargo.lock

@@ -224,9 +224,9 @@ checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
 
 [[package]]
 name = "bitflags"
-version = "2.9.0"
+version = "2.9.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5c8214115b7bf84099f1309324e63141d4c5d7cc26862f97a0a857dbefe165bd"
+checksum = "1b8e56985ec62d17e9c1001dc89c88ecd7dc08e47eba5ec7c29c7b5eeecde967"
 
 [[package]]
 name = "blake3"
@@ -380,9 +380,9 @@ checksum = "3b79c4069c6cad78e2e0cdfcbd26275770669fb39fd308a752dc110e83b9af32"
 dependencies = [
  "castaway",
  "cfg-if",
- "itoa",
+ "itoa 1.0.15",
  "rustversion",
- "ryu",
+ "ryu 1.0.20",
  "static_assertions",
 ]
 
@@ -394,9 +394,9 @@ checksum = "3fdb1325a1cece981e8a296ab8f0f9b63ae357bd0784a9faaf548cc7b480707a"
 dependencies = [
  "castaway",
  "cfg-if",
- "itoa",
+ "itoa 1.0.15",
  "rustversion",
- "ryu",
+ "ryu 1.0.20",
  "static_assertions",
 ]
 
@@ -658,9 +658,9 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
 
 [[package]]
 name = "errno"
-version = "0.3.11"
+version = "0.3.12"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "976dd42dc7e85965fe702eb8164f21f450704bdde31faefd6471dba214cb594e"
+checksum = "cea14ef9355e3beab063703aa9dab15afd25f0667c341310c1e5274bb1d0da18"
 dependencies = [
  "libc",
  "windows-sys 0.59.0",
@@ -1157,6 +1157,12 @@ dependencies = [
  "either",
 ]
 
+[[package]]
+name = "itoa"
+version = "0.4.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b71991ff56294aa922b450139ee08b3bfc70982c6b2c7562771375cf73542dd4"
+
 [[package]]
 name = "itoa"
 version = "1.0.15"
@@ -1241,7 +1247,7 @@ version = "0.1.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c0ff37bd590ca25063e35af745c343cb7a0271906fb7b37e4813e8f79f00268d"
 dependencies = [
- "bitflags 2.9.0",
+ "bitflags 2.9.1",
  "libc",
  "redox_syscall 0.5.12",
 ]
@@ -1740,7 +1746,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly"
-version = "0.15.0"
+version = "0.15.2"
 dependencies = [
  "anstream",
  "anyhow",
@@ -1783,6 +1789,7 @@ dependencies = [
  "ruff_text_size",
  "serde",
  "serde_json",
+ "serde_jsonrc",
  "serde_with",
  "starlark_map",
  "static_assertions",
@@ -1902,7 +1909,7 @@ version = "0.5.12"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "928fca9cf2aa042393a8325b9ead81d2f0df4cb12e1e24cef072922ccd99c5af"
 dependencies = [
- "bitflags 2.9.0",
+ "bitflags 2.9.1",
 ]
 
 [[package]]
@@ -1967,7 +1974,7 @@ version = "0.0.0"
 source = "git+https://github.com/astral-sh/ruff/?rev=3acf4e716d5d1fb9bd1316dc268deb6824a300c8#3acf4e716d5d1fb9bd1316dc268deb6824a300c8"
 dependencies = [
  "aho-corasick",
- "bitflags 2.9.0",
+ "bitflags 2.9.1",
  "compact_str 0.9.0",
  "is-macro",
  "itertools 0.14.0",
@@ -1983,7 +1990,7 @@ name = "ruff_python_parser"
 version = "0.0.0"
 source = "git+https://github.com/astral-sh/ruff/?rev=3acf4e716d5d1fb9bd1316dc268deb6824a300c8#3acf4e716d5d1fb9bd1316dc268deb6824a300c8"
 dependencies = [
- "bitflags 2.9.0",
+ "bitflags 2.9.1",
  "bstr",
  "compact_str 0.9.0",
  "memchr",
@@ -2040,7 +2047,7 @@ version = "0.38.44"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "fdb5bc1ae2baa591800df16c9ca78619bf65c0488b41b96ccec5d11220d8c154"
 dependencies = [
- "bitflags 2.9.0",
+ "bitflags 2.9.1",
  "errno",
  "libc",
  "linux-raw-sys 0.4.15",
@@ -2053,7 +2060,7 @@ version = "1.0.7"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c71e83d6afe7ff64890ec6b71d6a69bb8a610ab78ce364b3352876bb4c801266"
 dependencies = [
- "bitflags 2.9.0",
+ "bitflags 2.9.1",
  "errno",
  "libc",
  "linux-raw-sys 0.9.4",
@@ -2066,6 +2073,12 @@ version = "1.0.20"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "eded382c5f5f786b989652c49544c4877d9f015cc22e145a5ea8ea66c2921cd2"
 
+[[package]]
+name = "ryu"
+version = "0.2.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b96a9549dc8d48f2c283938303c4b5a77aa29bfbc5b54b084fb1630408899a8f"
+
 [[package]]
 name = "ryu"
 version = "1.0.20"
@@ -2136,9 +2149,20 @@ version = "1.0.140"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "20068b6e96dc6c9bd23e01df8827e6c7e1f2fddd43c21810382803c136b99373"
 dependencies = [
- "itoa",
+ "itoa 1.0.15",
  "memchr",
- "ryu",
+ "ryu 1.0.20",
+ "serde",
+]
+
+[[package]]
+name = "serde_jsonrc"
+version = "0.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b591e90bcce7185aa4f8c775c504456586ae0f7df49a4087a1ee4179d402b8a8"
+dependencies = [
+ "itoa 0.4.8",
+ "ryu 0.2.8",
  "serde",
 ]
 
@@ -2454,7 +2478,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8a7619e19bc266e0f9c5e6686659d394bc57973859340060a69221e57dbc0c40"
 dependencies = [
  "deranged",
- "itoa",
+ "itoa 1.0.15",
  "libc",
  "num-conv",
  "num_threads",
@@ -3232,7 +3256,7 @@ version = "0.39.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "6f42320e61fe2cfd34354ecb597f86f413484a798ba44a8ca1165c58d42da6c1"
 dependencies = [
- "bitflags 2.9.0",
+ "bitflags 2.9.1",
 ]
 
 [[package]]

{pyrefly-0.15.0 → pyrefly-0.15.2}/pyrefly/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly"
-version = "0.15.0"
+version = "0.15.2"
 authors = ["Meta"]
 edition = "2021"
 repository = "https://github.com/facebook/pyrefly"
@@ -11,10 +11,12 @@ build = "build.rs"
 
 [lib]
 path = "lib/lib.rs"
+edition = "2024"
 
 [[bin]]
 name = "pyrefly"
 path = "bin/main.rs"
+edition = "2024"
 
 [dependencies]
 anstream = "0.6.11"
@@ -24,7 +26,7 @@ argfile = "0.1.6"
 base64 = { version = "0.21", features = ["alloc"] }
 blake3 = { version = "=1.5.5", features = ["mmap", "rayon", "traits-preview"] }
 bstr = { version = "1.10.0", features = ["serde", "std", "unicode"] }
-clap = { version = "4.5.30", features = ["derive", "env", "string", "unicode", "wrap_help"] }
+clap = { version = "4.5.38", features = ["derive", "env", "string", "unicode", "wrap_help"] }
 configparser = { version = "3.0.3", features = ["indexmap"] }
 const-str = "0.4.3"
 convert_case = "0.6"
@@ -56,6 +58,7 @@ ruff_source_file = { git = "https://github.com/astral-sh/ruff/", rev = "3acf4e71
 ruff_text_size = { git = "https://github.com/astral-sh/ruff/", rev = "3acf4e716d5d1fb9bd1316dc268deb6824a300c8" }
 serde = { version = "1.0.185", features = ["derive", "rc"] }
 serde_json = { version = "1.0.140", features = ["float_roundtrip", "unbounded_depth"] }
+serde_jsonrc = "0.1"
 serde_with = { version = "1.14.0", features = ["hex", "json"] }
 starlark_map = "0.13.0"
 static_assertions = "1.1.0"

pyrefly-0.15.2/pyrefly/README.md

@@ -0,0 +1,11 @@
+# Pyrefly
+
+Currently incomplete and under active development. Please
+[open an issue](https://github.com/facebook/pyrefly/issues/new/choose) if you
+find any bugs.
+
+Pyrefly is a static type checker for Python that helps you catch type-related
+errors before your code runs. It analyzes your Python code to ensure type
+consistency throughout your codebase, making your applications more reliable and
+easier to maintain. Pyrefly supports both IDE integration and CLI usage, giving
+you flexibility in how you incorporate type checking into your workflow.

{pyrefly-0.15.0 → pyrefly-0.15.2}/pyrefly/bin/main.rs

@@ -154,7 +154,7 @@ fn get_explicit_config(
     let (file_config, parse_errors) = ConfigFile::from_file(path);
     let (config, validation_errors) = args.override_config(file_config);
     (
-        ArcId::new(config),
+        config,
         parse_errors.into_iter().chain(validation_errors).collect(),
     )
 }
@@ -177,7 +177,7 @@ fn get_globs_and_config_for_project(
                 ));
                 // Since this is a config we generated, these are likely internal errors.
                 debug_log(errors);
-                ArcId::new(config)
+                config
             });
             (config, config_finder.errors())
         }
@@ -202,12 +202,8 @@ fn get_globs_and_config_for_project(
     config_finder.add_errors(errors);
 
     debug!("Config is: {}", config);
-    let project_excludes = project_excludes.unwrap_or_else(|| config.project_excludes.clone());
 
-    Ok((
-        FilteredGlobs::new(config.project_includes.clone(), project_excludes),
-        config_finder,
-    ))
+    Ok((config.get_filtered_globs(project_excludes), config_finder))
 }
 
 /// Get inputs for a per-file check. If an explicit config is passed in, we use it; otherwise, we

{pyrefly-0.15.0 → pyrefly-0.15.2}/pyrefly/lib/alt/answers.rs

@@ -463,11 +463,15 @@ impl Answers {
                     }
                 };
                 let reference_range = bindings.idx_to_key(idx).range();
-                index
-                    .externally_defined_variable_references
-                    .entry((imported_module_name, imported_name))
-                    .or_default()
-                    .push(reference_range);
+                // Sanity check: the reference should have the same text as the definition.
+                // This check helps to filter out synthetic bindings.
+                if bindings.module_info().code_at(reference_range) == imported_name.as_str() {
+                    index
+                        .externally_defined_variable_references
+                        .entry((imported_module_name, imported_name))
+                        .or_default()
+                        .push(reference_range);
+                }
             }
         }
 

{pyrefly-0.15.0 → pyrefly-0.15.2}/pyrefly/lib/alt/call.rs

@@ -138,7 +138,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 } else {
                     &obj
                 };
-                func.subst_self_type_mut(self_replacement);
+                func.subst_self_type_mut(self_replacement, &|a, b| self.is_subset_eq(a, b));
                 match self.as_call_target(func.as_type()) {
                     Some(CallTarget {
                         qs,
@@ -533,10 +533,11 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 };
                 let self_obj = match first_arg_type {
                     Some(Type::Type(box Type::ClassType(c))) => Some(c.to_type()),
+                    Some(Type::ClassDef(class)) => Some(class.as_class_type().to_type()),
                     _ => None,
                 };
                 if let Some(self_obj) = self_obj {
-                    callable.subst_self_type_mut(&self_obj);
+                    callable.subst_self_type_mut(&self_obj, &|a, b| self.is_subset_eq(a, b));
                 }
                 self.callable_infer(
                     callable,

{pyrefly-0.15.0 → pyrefly-0.15.2}/pyrefly/lib/alt/class/class_field.rs

@@ -528,7 +528,8 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         &self,
         name: &Name,
         value: &ExprOrBinding,
-        annotation: Option<&Annotation>,
+        // Type annotation that appears directly on the field declaration (vs. one inherited from a parent)
+        direct_annotation: Option<&Annotation>,
         initial_value: &ClassFieldInitialValue,
         class: &Class,
         is_function_without_return_annotation: bool,
@@ -539,9 +540,9 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         // then we can avoid a bunch of work with checking for override errors.
         let mut name_might_exist_in_inherited = true;
 
-        let (value_ty, inherited_annot) = match value {
+        let (value_ty, inherited_annotation) = match value {
             ExprOrBinding::Expr(e) => {
-                let inherited_annot = if annotation.is_some() {
+                let inherited_annot = if direct_annotation.is_some() {
                     None
                 } else {
                     let (found_field, annotation) = self.get_inherited_annotation(class, name);
@@ -572,7 +573,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
             // See https://github.com/python/typeshed/pull/13875 for reasoning.
             class.module_info().path().is_interface()
             // We consider fields to be always-initialized if it's annotated explicitly with `ClassVar`.
-            || annotation
+            || direct_annotation
                 .as_ref()
                 .is_some_and(|annot| annot.has_qualifier(&Qualifier::ClassVar))
         };
@@ -598,7 +599,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 .is_some_and(|m| m.elements.contains(name))
         {
             for q in &[Qualifier::Final, Qualifier::ClassVar] {
-                if annotation.is_some_and(|ann| ann.has_qualifier(q)) {
+                if direct_annotation.is_some_and(|ann| ann.has_qualifier(q)) {
                     self.error(
                         errors,
                         range,
@@ -618,7 +619,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 Qualifier::NotRequired,
                 Qualifier::ReadOnly,
             ] {
-                if annotation.is_some_and(|ann| ann.has_qualifier(q)) {
+                if direct_annotation.is_some_and(|ann| ann.has_qualifier(q)) {
                     self.error(
                         errors,
                         range,
@@ -633,20 +634,18 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         // Determine whether this is an explicit `@override`.
         let is_override = value_ty.is_override();
 
-        let explicit_or_inherited_annot = annotation.or(inherited_annot.as_ref());
+        let annotation = direct_annotation.or(inherited_annotation.as_ref());
 
         // 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 explicit_or_inherited_annot.is_none_or(|a| a.ty.is_none())
-            && value_ty.is_literal()
-        {
+        let value_ty = if annotation.is_none_or(|a| a.ty.is_none()) && value_ty.is_literal() {
             value_ty.clone().promote_literals(self.stdlib)
         } else {
             value_ty.clone()
         };
 
         // Types provided in annotations shadow inferred types
-        let ty = if let Some(ann) = explicit_or_inherited_annot {
+        let ty = if let Some(ann) = annotation {
             match &ann.ty {
                 Some(ty) => ty.clone(),
                 None => value_ty.clone(),
@@ -681,7 +680,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         let ty = if let Some(enum_) = metadata.enum_metadata()
             && self.is_valid_enum_member(name, &ty, &initialization)
         {
-            if annotation.is_some() {
+            if direct_annotation.is_some() {
                 self.error(
                     errors, range,ErrorKind::InvalidAnnotation, None,
                     format!("Enum member `{}` may not be annotated directly. Instead, annotate the _value_ attribute.", name),
@@ -741,7 +740,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         // Create the resulting field and check for override inconsistencies before returning
         let class_field = ClassField::new(
             ty,
-            annotation.cloned(),
+            direct_annotation.cloned(),
             initialization,
             readonly,
             descriptor_getter,
@@ -1029,7 +1028,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 return None;
             }
         };
-        foralled.subst_self_type_mut(&self.instantiate(cls));
+        foralled.subst_self_type_mut(&self.instantiate(cls), &|a, b| self.is_subset_eq(a, b));
         Some(bind_class_attribute(cls, foralled))
     }
 

{pyrefly-0.15.0 → pyrefly-0.15.2}/pyrefly/lib/alt/operators.rs

@@ -233,8 +233,8 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 {
                     Type::LiteralString
                 } else if x.op == Operator::Add
-                    && let Type::Tuple(ref l) = lhs
-                    && let Type::Tuple(ref r) = rhs
+                    && let Type::Tuple(l) = lhs
+                    && let Type::Tuple(r) = rhs
                 {
                     self.tuple_concat(l, r)
                 } else {
@@ -280,7 +280,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                     Type::LiteralString
                 } else if x.op == Operator::Add
                     && let Type::Tuple(ref l) = base
-                    && let Type::Tuple(ref r) = rhs
+                    && let Type::Tuple(r) = rhs
                 {
                     self.tuple_concat(l, r)
                 } else {