pyrefly 0.27.0__tar.gz → 0.27.2__tar.gz

{pyrefly-0.27.0 → pyrefly-0.27.2}/Cargo.lock

@@ -365,9 +365,9 @@ dependencies = [
 
 [[package]]
 name = "clap"
-version = "4.5.41"
+version = "4.5.42"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "be92d32e80243a54711e5d7ce823c35c41c9d929dc4ab58e1276f625841aadf9"
+checksum = "ed87a9d530bb41a67537289bafcac159cb3ee28460e0a4571123d2a778a6a882"
 dependencies = [
  "clap_builder",
  "clap_derive",
@@ -375,9 +375,9 @@ dependencies = [
 
 [[package]]
 name = "clap_builder"
-version = "4.5.41"
+version = "4.5.42"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "707eab41e9622f9139419d573eca0900137718000c517d47da73045f54331c3d"
+checksum = "64f4f3f3c77c94aff3c7e9aac9a2ca1974a5adf392a8bb751e827d6d127ab966"
 dependencies = [
  "anstream",
  "anstyle",
@@ -1041,6 +1041,19 @@ version = "0.3.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "a8d1add55171497b4705a648c6b583acafb01d58050a51727785f0b2c8e0a2b2"
 
+[[package]]
+name = "globset"
+version = "0.4.15"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "15f1ce686646e7f1e19bf7d5533fe443a45dbfb990e00629110797578b42fb19"
+dependencies = [
+ "aho-corasick",
+ "bstr",
+ "log",
+ "regex-automata 0.4.9",
+ "regex-syntax 0.8.5",
+]
+
 [[package]]
 name = "hashbrown"
 version = "0.12.3"
@@ -1265,6 +1278,22 @@ dependencies = [
  "icu_properties",
 ]
 
+[[package]]
+name = "ignore"
+version = "0.4.23"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6d89fd380afde86567dfba715db065673989d6253f42b88179abd3eae47bda4b"
+dependencies = [
+ "crossbeam-deque",
+ "globset",
+ "log",
+ "memchr",
+ "regex-automata 0.4.9",
+ "same-file",
+ "walkdir",
+ "winapi-util",
+]
+
 [[package]]
 name = "indexmap"
 version = "1.9.2"
@@ -2029,7 +2058,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly"
-version = "0.27.0"
+version = "0.27.2"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2077,7 +2106,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_bundled"
-version = "0.27.0"
+version = "0.27.2"
 dependencies = [
  "anyhow",
  "starlark_map",
@@ -2087,7 +2116,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_config"
-version = "0.27.0"
+version = "0.27.2"
 dependencies = [
  "anyhow",
  "clap",
@@ -2120,7 +2149,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_derive"
-version = "0.27.0"
+version = "0.27.2"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2129,7 +2158,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_python"
-version = "0.27.0"
+version = "0.27.2"
 dependencies = [
  "anyhow",
  "dupe",
@@ -2151,7 +2180,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_types"
-version = "0.27.0"
+version = "0.27.2"
 dependencies = [
  "compact_str 0.8.0",
  "dupe",
@@ -2171,7 +2200,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_util"
-version = "0.27.0"
+version = "0.27.2"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2184,6 +2213,7 @@ dependencies = [
  "equivalent",
  "glob",
  "human_bytes",
+ "ignore",
  "itertools 0.14.0",
  "lock_free_hashtable",
  "lsp-types",

{pyrefly-0.27.0 → pyrefly-0.27.2}/PKG-INFO

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

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_bundled/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_bundled"
-version = "0.27.0"
+version = "0.27.2"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_config/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_config"
-version = "0.27.0"
+version = "0.27.2"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"
@@ -10,7 +10,7 @@ license = "MIT"
 
 [dependencies]
 anyhow = "1.0.98"
-clap = { version = "4.5.41", features = ["derive", "env", "string", "unicode", "wrap_help"] }
+clap = { version = "4.5.42", features = ["derive", "env", "string", "unicode", "wrap_help"] }
 configparser = { version = "3.0.3", features = ["indexmap"] }
 convert_case = "0.6"
 dupe = "0.9.1"

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_config/src/args.rs

@@ -92,6 +92,9 @@ pub struct ConfigOverrideArgs {
     /// Whether to ignore type errors in generated code.
     #[arg(long)]
     ignore_errors_in_generated_code: Option<bool>,
+    /// Whether to respect ignore files (.gitignore, .ignore, .git/exclude).
+    #[arg(long)]
+    use_ignore_files: Option<bool>,
     /// Controls how Pyrefly analyzes function definitions that lack type annotations on parameters and return values.
     #[arg(long)]
     untyped_def_behavior: Option<UntypedDefBehavior>,
@@ -182,6 +185,9 @@ impl ConfigOverrideArgs {
             config.interpreters.python_interpreter = Some(ConfigOrigin::cli(x.clone()));
             config.interpreters.conda_environment = None;
         }
+        if let Some(x) = &self.use_ignore_files {
+            config.use_ignore_files = *x;
+        }
         if let Some(x) = &self.ignore_missing_source {
             config.ignore_missing_source = *x;
         }

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_config/src/config.rs

@@ -281,6 +281,13 @@ pub struct ConfigFile {
     #[serde(default, skip_serializing, alias = "use_untyped_imports")]
     pub use_untyped_imports: Option<bool>,
 
+    /// Whether to respect ignore files (.gitignore, .ignore, .git/exclude).
+    #[serde(
+        default = "ConfigFile::default_true",
+        skip_serializing_if = "crate::util::skip_default_true"
+    )]
+    pub use_ignore_files: bool,
+
     /// Completely custom module to path mappings. Currently not exposed to the user.
     #[serde(skip)]
     pub custom_module_paths: SmallMap<ModuleName, ModulePath>,
@@ -319,6 +326,7 @@ impl Default for ConfigFile {
             sub_configs: Default::default(),
             custom_module_paths: Default::default(),
             use_untyped_imports: None,
+            use_ignore_files: true,
             ignore_missing_source: true,
             typeshed_path: None,
         }
@@ -806,6 +814,7 @@ mod tests {
              ignore-missing-imports = ["sprout"]
              ignore-errors-in-generated-code = true
              ignore-missing-source = true
+             use-ignore-files = true
 
              [errors]
              assert-type = true
@@ -837,6 +846,7 @@ mod tests {
                 search_path_from_file: vec![PathBuf::from("../..")],
                 disable_search_path_heuristics: false,
                 import_root: None,
+                use_ignore_files: true,
                 fallback_search_path: Vec::new(),
                 python_environment: PythonEnvironment {
                     python_platform: Some(PythonPlatform::mac()),
@@ -1091,6 +1101,7 @@ mod tests {
             search_path_from_file: vec![PathBuf::from("../..")],
             disable_search_path_heuristics: false,
             import_root: None,
+            use_ignore_files: true,
             fallback_search_path: Vec::new(),
             python_environment: python_environment.clone(),
             interpreters: Interpreters {
@@ -1149,6 +1160,7 @@ mod tests {
             search_path_from_args: Vec::new(),
             search_path_from_file: search_path,
             disable_search_path_heuristics: false,
+            use_ignore_files: true,
             import_root: None,
             fallback_search_path: Vec::new(),
             python_environment,

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_config/src/environment/interpreters.rs

@@ -78,8 +78,8 @@ impl Interpreters {
         self.python_interpreter.is_none() && self.conda_environment.is_none()
     }
 
-    pub fn set_python_interpreter(&mut self, interpreter: PathBuf) {
-        self.python_interpreter = Some(ConfigOrigin::auto(interpreter));
+    pub fn set_lsp_python_interpreter(&mut self, interpreter: PathBuf) {
+        self.python_interpreter = Some(ConfigOrigin::lsp(interpreter));
     }
 
     /// Finds interpreters by searching in prioritized locations for the given project
@@ -87,12 +87,13 @@ impl Interpreters {
     ///
     /// The priorities are:
     /// 1. Check for an overridden `--python-interpreter` or `--conda-environment`
-    /// 2. Check for an active venv or Conda environment
-    /// 3. Check for a configured `python-interpreter`
-    /// 4. Check for a configured `conda-environment`
-    /// 5. Check for a `venv` in the current project
-    /// 6. Use an interpreter we can find on the `$PATH`
-    /// 7. Give up and return an error
+    /// 2. Check for an IDE / LSP provided `python-interpreter`.
+    /// 3. Check for an active venv or Conda environment
+    /// 4. Check for a configured `python-interpreter`
+    /// 5. Check for a configured `conda-environment`
+    /// 6. Check for a `venv` in the current project
+    /// 7. Use an interpreter we can find on the `$PATH`
+    /// 8. Give up and return an error
     pub(crate) fn find_interpreter(
         &self,
         path: Option<&Path>,
@@ -101,6 +102,10 @@ impl Interpreters {
             return Ok(interpreter.clone());
         }
 
+        if let Some(interpreter @ ConfigOrigin::Lsp(_)) = &self.python_interpreter {
+            return Ok(interpreter.clone());
+        }
+
         if let Some(conda_env @ ConfigOrigin::CommandLine(_)) = &self.conda_environment {
             return conda_env
                 .as_deref()
@@ -208,6 +213,23 @@ mod test {
         );
     }
 
+    #[test]
+    fn test_find_interpreter_precedence_lsp_highest_priority() {
+        let tempdir = setup_test_dir();
+
+        let python_interpreter = ConfigOrigin::lsp(PathBuf::from("asdf"));
+
+        let interpreters = Interpreters {
+            python_interpreter: Some(python_interpreter.clone()),
+            ..Default::default()
+        };
+
+        assert_eq!(
+            interpreters.find_interpreter(Some(tempdir.path())).unwrap(),
+            python_interpreter
+        );
+    }
+
     #[test]
     fn test_find_interpreter_precedence_conda_cli_highest_priority() {
         let tempdir = setup_test_dir();

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_config/src/error_kind.rs

@@ -218,6 +218,8 @@ pub enum ErrorKind {
     Unsupported,
     /// Attempting to apply an operation to arguments that do not support it.
     UnsupportedOperation,
+    /// Result of async function call is never used or awaited
+    UnusedCoroutine,
 }
 
 impl std::str::FromStr for ErrorKind {

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_config/src/util.rs

@@ -45,6 +45,10 @@ pub(crate) enum ConfigOrigin<T> {
     #[serde(skip)]
     Auto(T),
 
+    /// This value was explicitly provided by the IDE using "workspace.configuration" using LSP protocol.
+    #[serde(skip)]
+    Lsp(T),
+
     /// This value was provided by a [`ConfigFile`], either explicitly or implicitly.
     ConfigFile(T),
 }
@@ -81,7 +85,10 @@ impl<T> Deref for ConfigOrigin<T> {
 
     fn deref(&self) -> &Self::Target {
         match self {
-            Self::CommandLine(value) | Self::ConfigFile(value) | Self::Auto(value) => value,
+            Self::CommandLine(value)
+            | Self::ConfigFile(value)
+            | Self::Auto(value)
+            | Self::Lsp(value) => value,
         }
     }
 }
@@ -89,7 +96,10 @@ impl<T> Deref for ConfigOrigin<T> {
 impl<T> DerefMut for ConfigOrigin<T> {
     fn deref_mut(&mut self) -> &mut Self::Target {
         match self {
-            Self::CommandLine(value) | Self::ConfigFile(value) | Self::Auto(value) => value,
+            Self::CommandLine(value)
+            | Self::ConfigFile(value)
+            | Self::Auto(value)
+            | Self::Lsp(value) => value,
         }
     }
 }
@@ -116,6 +126,11 @@ impl<T> ConfigOrigin<T> {
         Self::Auto(value)
     }
 
+    /// Construct a new [`ConfigOrigin::Lsp`] with the given value.
+    pub(crate) fn lsp(value: T) -> Self {
+        Self::Lsp(value)
+    }
+
     /// Consume the [`ConfigOrigin`], mapping the internal value with the
     /// given function, and inserting it into a new [`ConfigOrigin`] of the same
     /// variant.
@@ -127,6 +142,7 @@ impl<T> ConfigOrigin<T> {
             ConfigOrigin::ConfigFile(value) => ConfigOrigin::ConfigFile(f(value)),
             ConfigOrigin::CommandLine(value) => ConfigOrigin::CommandLine(f(value)),
             ConfigOrigin::Auto(value) => ConfigOrigin::Auto(f(value)),
+            ConfigOrigin::Lsp(value) => ConfigOrigin::Lsp(f(value)),
         }
     }
 
@@ -135,6 +151,7 @@ impl<T> ConfigOrigin<T> {
             ConfigOrigin::ConfigFile(ref value) => ConfigOrigin::ConfigFile(value),
             ConfigOrigin::CommandLine(ref value) => ConfigOrigin::CommandLine(value),
             ConfigOrigin::Auto(ref value) => ConfigOrigin::Auto(value),
+            ConfigOrigin::Lsp(ref value) => ConfigOrigin::Lsp(value),
         }
     }
 
@@ -154,9 +171,11 @@ impl<T, E> ConfigOrigin<Result<T, E>> {
             ConfigOrigin::ConfigFile(Ok(value)) => Ok(ConfigOrigin::ConfigFile(value)),
             ConfigOrigin::CommandLine(Ok(value)) => Ok(ConfigOrigin::CommandLine(value)),
             ConfigOrigin::Auto(Ok(value)) => Ok(ConfigOrigin::Auto(value)),
+            ConfigOrigin::Lsp(Ok(value)) => Ok(ConfigOrigin::Lsp(value)),
             ConfigOrigin::ConfigFile(Err(err))
             | ConfigOrigin::CommandLine(Err(err))
-            | ConfigOrigin::Auto(Err(err)) => Err(err),
+            | ConfigOrigin::Auto(Err(err))
+            | ConfigOrigin::Lsp(Err(err)) => Err(err),
         }
     }
 }

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_derive/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_derive"
-version = "0.27.0"
+version = "0.27.2"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_python/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_python"
-version = "0.27.0"
+version = "0.27.2"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_types/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_types"
-version = "0.27.0"
+version = "0.27.2"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_types/src/callable.rs

@@ -16,6 +16,7 @@ use pyrefly_python::dunder;
 use pyrefly_python::module_name::ModuleName;
 use pyrefly_util::display::commas_iter;
 use pyrefly_util::prelude::VecExt;
+use pyrefly_util::visit::VisitMut;
 use ruff_python_ast::Keyword;
 use ruff_python_ast::name::Name;
 
@@ -453,21 +454,7 @@ impl Callable {
         replacement: &Type,
         is_subset: &dyn Fn(&Type, &Type) -> bool,
     ) {
-        match &mut self.params {
-            Params::List(params) => {
-                for param in params.0.iter_mut() {
-                    param.subst_self_type_mut(replacement, is_subset);
-                }
-            }
-            Params::Ellipsis => {}
-            Params::ParamSpec(ts, t) => {
-                for t in ts.iter_mut() {
-                    t.subst_self_type_mut(replacement, is_subset);
-                }
-                t.subst_self_type_mut(replacement, is_subset);
-            }
-        }
-        self.ret.subst_self_type_mut(replacement, is_subset);
+        self.visit_mut(&mut |t: &mut Type| t.subst_self_type_mut(replacement, is_subset));
     }
 }
 
@@ -536,20 +523,6 @@ impl Param {
             _ => false,
         }
     }
-
-    fn subst_self_type_mut(
-        &mut self,
-        replacement: &Type,
-        is_subset: &dyn Fn(&Type, &Type) -> bool,
-    ) {
-        match self {
-            Param::PosOnly(_, ty, _)
-            | Param::Pos(_, ty, _)
-            | Param::VarArg(_, ty)
-            | Param::KwOnly(_, ty, _)
-            | Param::Kwargs(_, ty) => ty.subst_self_type_mut(replacement, is_subset),
-        }
-    }
 }
 
 impl Display for Param {

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_types/src/class.rs

@@ -306,6 +306,10 @@ impl ClassType {
         &self.0
     }
 
+    pub fn into_class_object(self) -> Class {
+        self.0
+    }
+
     pub fn tparams(&self) -> &TParams {
         self.1.tparams()
     }

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_types/src/read_only.rs

@@ -25,6 +25,8 @@ pub enum ReadOnlyReason {
     ClassObjectInitializedOnBody,
     /// Field is on a Super instance
     Super,
+    /// Field is marked as frozen via a ConfigDict
+    PydanticFrozen,
 }
 
 impl ReadOnlyReason {
@@ -43,6 +45,9 @@ impl ReadOnlyReason {
             ReadOnlyReason::Super => {
                 "A field accessed through `super()` is considered read-only".to_owned()
             }
+            ReadOnlyReason::PydanticFrozen => {
+                "This field belongs to a frozen Pydantic model,".to_owned()
+            }
         }
     }
 }

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_types/src/types.rs

@@ -464,14 +464,14 @@ impl Overload {
 #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
 #[derive(Visit, VisitMut, TypeEq)]
 pub enum OverloadType {
-    Callable(Function),
+    Function(Function),
     Forall(Forall<Function>),
 }
 
 impl OverloadType {
     pub fn as_type(&self) -> Type {
         match self {
-            Self::Callable(f) => Type::Callable(Box::new(f.signature.clone())),
+            Self::Function(f) => Type::Callable(Box::new(f.signature.clone())),
             Self::Forall(forall) => {
                 Forallable::Function(forall.body.clone()).forall(forall.tparams.clone())
             }
@@ -484,7 +484,7 @@ impl OverloadType {
         is_subset: &dyn Fn(&Type, &Type) -> bool,
     ) {
         match self {
-            Self::Callable(f) => f.signature.subst_self_type_mut(replacement, is_subset),
+            Self::Function(f) => f.signature.subst_self_type_mut(replacement, is_subset),
             Self::Forall(forall) => forall
                 .body
                 .signature
@@ -494,14 +494,14 @@ impl OverloadType {
 
     fn is_typeguard(&self) -> bool {
         match self {
-            Self::Callable(f) => f.signature.is_typeguard(),
+            Self::Function(f) => f.signature.is_typeguard(),
             Self::Forall(forall) => forall.body.signature.is_typeguard(),
         }
     }
 
     fn is_typeis(&self) -> bool {
         match self {
-            Self::Callable(f) => f.signature.is_typeis(),
+            Self::Function(f) => f.signature.is_typeis(),
             Self::Forall(forall) => forall.body.signature.is_typeis(),
         }
     }
@@ -914,7 +914,7 @@ impl Type {
             Type::Overload(overload) => overload
                 .signatures
                 .try_mapped_ref(|x| match x {
-                    OverloadType::Callable(f) => {
+                    OverloadType::Function(f) => {
                         f.signature.drop_first_param().ok_or(()).map(|c| Function {
                             signature: c,
                             metadata: f.metadata.clone(),
@@ -925,7 +925,7 @@ impl Type {
                 .ok()
                 .map(|signatures| {
                     Type::Overload(Overload {
-                        signatures: signatures.mapped(OverloadType::Callable),
+                        signatures: signatures.mapped(OverloadType::Function),
                         metadata: overload.metadata.clone(),
                     })
                 }),
@@ -1115,7 +1115,7 @@ impl Type {
             }) => {
                 for x in overload.signatures.iter() {
                     match x {
-                        OverloadType::Callable(function) => f(&function.signature),
+                        OverloadType::Function(function) => f(&function.signature),
                         OverloadType::Forall(forall) => f(&forall.body.signature),
                     }
                 }
@@ -1149,7 +1149,7 @@ impl Type {
             }) => {
                 for x in overload.signatures.iter_mut() {
                     match x {
-                        OverloadType::Callable(function) => f(&mut function.signature),
+                        OverloadType::Function(function) => f(&mut function.signature),
                         OverloadType::Forall(forall) => f(&mut forall.body.signature),
                     }
                 }

{pyrefly-0.27.0 → pyrefly-0.27.2}/crates/pyrefly_util/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_util"
-version = "0.27.0"
+version = "0.27.2"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"
@@ -20,6 +20,7 @@ dupe = "0.9.1"
 equivalent = "1.0"
 glob = "0.3.2"
 human_bytes = "0.4.3"
+ignore = "0.4"
 itertools = "0.14.0"
 lock_free_hashtable = "0.1.1"
 lsp-types = "0.94.1"