pyrefly 0.27.1__tar.gz → 0.28.0__tar.gz

{pyrefly-0.27.1 → pyrefly-0.28.0}/Cargo.lock

@@ -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.1"
+version = "0.28.0"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2077,7 +2106,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_bundled"
-version = "0.27.1"
+version = "0.28.0"
 dependencies = [
  "anyhow",
  "starlark_map",
@@ -2087,7 +2116,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_config"
-version = "0.27.1"
+version = "0.28.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -2120,7 +2149,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_derive"
-version = "0.27.1"
+version = "0.28.0"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2129,7 +2158,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_python"
-version = "0.27.1"
+version = "0.28.0"
 dependencies = [
  "anyhow",
  "dupe",
@@ -2151,7 +2180,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_types"
-version = "0.27.1"
+version = "0.28.0"
 dependencies = [
  "compact_str 0.8.0",
  "dupe",
@@ -2171,7 +2200,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_util"
-version = "0.27.1"
+version = "0.28.0"
 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.1 → pyrefly-0.28.0}/PKG-INFO

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

{pyrefly-0.27.1 → pyrefly-0.28.0}/crates/pyrefly_bundled/Cargo.toml

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

{pyrefly-0.27.1 → pyrefly-0.28.0}/crates/pyrefly_config/Cargo.toml

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

{pyrefly-0.27.1 → pyrefly-0.28.0}/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.1 → pyrefly-0.28.0}/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,
         }
@@ -354,7 +362,12 @@ impl ConfigFile {
                 .filter_map(|pattern| Glob::new(pattern.to_string_lossy().to_string()).ok())
                 .collect::<Vec<_>>(),
         );
-        FilteredGlobs::new(self.project_includes.clone(), project_excludes)
+        let root = if self.use_ignore_files {
+            self.import_root.as_deref()
+        } else {
+            None
+        };
+        FilteredGlobs::new(self.project_includes.clone(), project_excludes, root)
     }
 }
 
@@ -806,6 +819,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 +851,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 +1106,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 +1165,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,
@@ -1423,6 +1440,7 @@ mod tests {
                         .collect::<Vec<_>>()
                 )
                 .unwrap(),
+                None,
             )
         );
         assert_eq!(
@@ -1438,6 +1456,7 @@ mod tests {
                         .collect::<Vec<_>>()
                 )
                 .unwrap(),
+                None,
             )
         );
     }

{pyrefly-0.27.1 → pyrefly-0.28.0}/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.1 → pyrefly-0.28.0}/crates/pyrefly_config/src/migration/error_codes.rs

@@ -111,6 +111,24 @@ mod tests {
         );
     }
 
+    #[test]
+    fn test_migrate_from_mypy_with_disable_codes() {
+        let mut mypy_cfg = Ini::new();
+        mypy_cfg.set("mypy", "disable_error_code", Some("arg-type".to_owned()));
+
+        let mut pyrefly_cfg = ConfigFile::default();
+
+        let error_codes = ErrorCodes;
+        let _ = error_codes.migrate_from_mypy(&mypy_cfg, &mut pyrefly_cfg);
+
+        assert!(pyrefly_cfg.root.errors.is_some());
+        let errors = pyrefly_cfg.root.errors.as_ref().unwrap();
+        assert_eq!(
+            errors.severity(ErrorKind::BadArgumentType),
+            Severity::Ignore
+        );
+    }
+
     #[test]
     fn test_migrate_from_mypy_with_empty_config() {
         let mypy_cfg = Ini::new();

{pyrefly-0.27.1 → pyrefly-0.28.0}/crates/pyrefly_config/src/migration/mypy/util.rs

@@ -119,6 +119,11 @@ fn code_to_kind(mut errors: HashMap<String, Severity>) -> Option<ErrorDisplayCon
     {
         map.insert(ErrorKind::MissingAttribute, value);
     }
+
+    if let Some(value) = [errors.remove("arg-type")].into_iter().flatten().max() {
+        map.insert(ErrorKind::BadArgumentType, value);
+    }
+
     if map.is_empty() {
         None
     } else {

{pyrefly-0.27.1 → pyrefly-0.28.0}/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.1 → pyrefly-0.28.0}/crates/pyrefly_derive/Cargo.toml

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

{pyrefly-0.27.1 → pyrefly-0.28.0}/crates/pyrefly_python/Cargo.toml

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

{pyrefly-0.27.1 → pyrefly-0.28.0}/crates/pyrefly_python/src/ast.rs

@@ -24,6 +24,7 @@ use ruff_python_ast::Parameters;
 use ruff_python_ast::Pattern;
 use ruff_python_ast::PatternMatchSingleton;
 use ruff_python_ast::PySourceType;
+use ruff_python_ast::PythonVersion as RuffPythonVersion;
 use ruff_python_ast::Singleton;
 use ruff_python_ast::Stmt;
 use ruff_python_ast::StmtIf;
@@ -32,12 +33,16 @@ use ruff_python_ast::StringLiteral;
 use ruff_python_ast::visitor::source_order::SourceOrderVisitor;
 use ruff_python_ast::visitor::source_order::TraversalSignal;
 use ruff_python_parser::ParseError;
+use ruff_python_parser::ParseOptions;
+use ruff_python_parser::UnsupportedSyntaxError;
 use ruff_python_parser::parse_expression_range;
-use ruff_python_parser::parse_unchecked_source;
+use ruff_python_parser::parse_unchecked;
 use ruff_text_size::Ranged;
 use ruff_text_size::TextRange;
 use ruff_text_size::TextSize;
 
+use crate::sys_info::PythonVersion;
+
 /// Just used for convenient namespacing - not a real type
 pub struct Ast;
 
@@ -79,11 +84,26 @@ impl<'a> SourceOrderVisitor<'a> for CoveringNodeVisitor<'a> {
 }
 
 impl Ast {
-    pub fn parse(contents: &str) -> (ModModule, Vec<ParseError>) {
+    pub fn parse(contents: &str) -> (ModModule, Vec<ParseError>, Vec<UnsupportedSyntaxError>) {
+        Ast::parse_with_version(contents, PythonVersion::default())
+    }
+
+    pub fn parse_with_version(
+        contents: &str,
+        version: PythonVersion,
+    ) -> (ModModule, Vec<ParseError>, Vec<UnsupportedSyntaxError>) {
         // PySourceType of Python vs Stub doesn't actually change the parsing
-        let res = parse_unchecked_source(contents, PySourceType::Python);
-        let errors = res.errors().to_owned();
-        (res.into_syntax(), errors)
+        let options =
+            ParseOptions::from(PySourceType::Python).with_target_version(RuffPythonVersion {
+                major: version.major as u8,
+                minor: version.minor as u8,
+            });
+        let res = parse_unchecked(contents, options)
+            .try_into_module()
+            .unwrap();
+        let parse_errors = res.errors().to_owned();
+        let unsupported_syntax_errors = res.unsupported_syntax_errors().to_owned();
+        (res.into_syntax(), parse_errors, unsupported_syntax_errors)
     }
 
     pub fn parse_expr(contents: &str, pos: TextSize) -> anyhow::Result<Expr> {

{pyrefly-0.27.1 → pyrefly-0.28.0}/crates/pyrefly_python/src/docstring.rs

@@ -51,7 +51,11 @@ impl Docstring {
                 break; // Stop after first match to avoid over-trimming
             }
         }
-        let result = result.replace("\r", "").replace("\t", "    ");
+        let result = result
+            .replace("\r", "")
+            .replace("\t", "    ")
+            .replace("[", r"\[")
+            .replace("]", r"\]");
 
         // Remove the shortest amount of whitespace from the beginning of each line
         let min_indent = result
@@ -99,6 +103,7 @@ mod tests {
             "test docstring"
         );
     }
+
     #[test]
     fn test_clean_removes_multiline_single_quotes() {
         assert_eq!(
@@ -169,4 +174,9 @@ mod tests {
             "hello\nworld\ntest"
         );
     }
+
+    #[test]
+    fn test_brackets() {
+        assert_eq!(Docstring::clean("tuple[test]").as_str(), r"tuple\[test\]");
+    }
 }

{pyrefly-0.27.1 → pyrefly-0.28.0}/crates/pyrefly_types/Cargo.toml

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

{pyrefly-0.27.1 → pyrefly-0.28.0}/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.1 → pyrefly-0.28.0}/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.1 → pyrefly-0.28.0}/crates/pyrefly_util/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_util"
-version = "0.27.1"
+version = "0.28.0"
 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"