pyrefly 0.29.1__tar.gz → 0.30.0__tar.gz

{pyrefly-0.29.1 → pyrefly-0.30.0}/Cargo.lock

@@ -1899,6 +1899,12 @@ dependencies = [
  "once_cell",
 ]
 
+[[package]]
+name = "pathdiff"
+version = "0.2.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "df94ce210e5bc13cb6651479fa48d14f601d9858cfe0467f43ae157023b938d3"
+
 [[package]]
 name = "percent-encoding"
 version = "2.3.1"
@@ -2058,7 +2064,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly"
-version = "0.29.1"
+version = "0.30.0"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2106,7 +2112,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_bundled"
-version = "0.29.1"
+version = "0.30.0"
 dependencies = [
  "anyhow",
  "starlark_map",
@@ -2116,7 +2122,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_config"
-version = "0.29.1"
+version = "0.30.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -2149,7 +2155,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_derive"
-version = "0.29.1"
+version = "0.30.0"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2158,7 +2164,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_python"
-version = "0.29.1"
+version = "0.30.0"
 dependencies = [
  "anyhow",
  "dupe",
@@ -2166,6 +2172,7 @@ dependencies = [
  "itertools 0.14.0",
  "lsp-types",
  "parse-display",
+ "pathdiff",
  "pyrefly_util",
  "regex",
  "ruff_python_ast",
@@ -2180,7 +2187,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_types"
-version = "0.29.1"
+version = "0.30.0"
 dependencies = [
  "compact_str 0.8.0",
  "dupe",
@@ -2200,7 +2207,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_util"
-version = "0.29.1"
+version = "0.30.0"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2762,12 +2769,12 @@ checksum = "8917285742e9f3e1683f0a9c4e6b57960b7314d0b08d30d1ecd426713ee2eee9"
 
 [[package]]
 name = "socket2"
-version = "0.5.8"
+version = "0.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c970269d99b64e60ec3bd6ad27270092a5394c4e309314b18ae3fe575695fbe8"
+checksum = "233504af464074f9d066d7b5416c5f9b894a5862a6506e306f7b816cdd6f1807"
 dependencies = [
  "libc",
- "windows-sys 0.52.0",
+ "windows-sys 0.59.0",
 ]
 
 [[package]]
@@ -3058,9 +3065,9 @@ checksum = "cda74da7e1a664f795bb1f8a87ec406fb89a02522cf6e50620d016add6dbbf5c"
 
 [[package]]
 name = "tokio"
-version = "1.46.1"
+version = "1.47.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0cc3a2344dafbe23a245241fe8b09735b521110d30fcefbbd5feb1797ca35d17"
+checksum = "89e49afdadebb872d3145a5638b59eb0691ea23e46ca484037cfab3b76b95038"
 dependencies = [
  "backtrace",
  "bytes",
@@ -3073,7 +3080,7 @@ dependencies = [
  "slab",
  "socket2",
  "tokio-macros",
- "windows-sys 0.52.0",
+ "windows-sys 0.59.0",
 ]
 
 [[package]]

{pyrefly-0.29.1 → pyrefly-0.30.0}/PKG-INFO

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

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_bundled/Cargo.toml

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

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_config/Cargo.toml

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

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_config/src/config.rs

@@ -375,6 +375,9 @@ impl ConfigFile {
     pub const PYREFLY_FILE_NAME: &str = "pyrefly.toml";
     pub const PYPROJECT_FILE_NAME: &str = "pyproject.toml";
     pub const CONFIG_FILE_NAMES: &[&str] = &[Self::PYREFLY_FILE_NAME, Self::PYPROJECT_FILE_NAME];
+    /// Files that don't contain pyrefly-specific config information but indicate that we're at the
+    /// root of a Python project, which should be added to the search path.
+    pub const ADDITIONAL_ROOT_FILE_NAMES: &[&str] = &["mypy.ini", "pyrightconfig.json"];
 
     /// Writes the configuration to a file in the specified directory.
     /// TODO(connernilsen) relative these paths to the config file's directory
@@ -387,9 +390,6 @@ impl ConfigFile {
 
         Ok(())
     }
-    /// Files that don't contain pyrefly-specific config information but indicate that we're at the
-    /// root of a Python project, which should be added to the search path.
-    pub const ADDITIONAL_ROOT_FILE_NAMES: &[&str] = &["setup.py", "mypy.ini", "pyrightconfig.json"];
 
     pub fn default_project_includes() -> Globs {
         Globs::new(vec!["**/*".to_owned()]).unwrap_or_else(|_| Globs::empty())
@@ -446,7 +446,7 @@ impl ConfigFile {
     }
 
     /// Gets the full, ordered path used for import lookup. Used for pretty-printing.
-    pub fn structured_import_lookup_path(&self) -> Vec<ImportLookupPathPart> {
+    pub fn structured_import_lookup_path(&self) -> Vec<ImportLookupPathPart<'_>> {
         let mut result = vec![
             ImportLookupPathPart::SearchPathFromArgs(&self.search_path_from_args),
             ImportLookupPathPart::SearchPathFromFile(&self.search_path_from_file),
@@ -534,7 +534,7 @@ impl ConfigFile {
                 self.root.permissive_ignores.unwrap())
     }
 
-    pub fn get_error_config(&self, path: &Path) -> ErrorConfig {
+    pub fn get_error_config(&self, path: &Path) -> ErrorConfig<'_> {
         ErrorConfig::new(
             self.errors(path),
             self.ignore_errors_in_generated_code(path),
@@ -1358,16 +1358,6 @@ mod tests {
         );
     }
 
-    #[test]
-    fn test_setup_py_search_path() {
-        let root = TempDir::new().unwrap();
-        let config = create_empty_file_and_parse_config(&root, "setup.py");
-        assert_eq!(
-            config.search_path().cloned().collect::<Vec<_>>(),
-            vec![root.path().to_path_buf()]
-        );
-    }
-
     #[test]
     fn test_mypy_config_search_path() {
         let root = TempDir::new().unwrap();

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_config/src/error.rs

@@ -36,7 +36,7 @@ impl ErrorDisplayConfig {
             .unwrap_or_else(|| kind.default_severity())
     }
 
-    pub(crate) fn set_error_severity(&mut self, kind: ErrorKind, severity: Severity) {
+    pub fn set_error_severity(&mut self, kind: ErrorKind, severity: Severity) {
         self.0.insert(kind, severity);
     }
 }

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_config/src/error_kind.rs

@@ -264,6 +264,7 @@ impl ErrorKind {
             ErrorKind::RevealType => Severity::Info,
             ErrorKind::Deprecated => Severity::Warn,
             ErrorKind::RedundantCast => Severity::Warn,
+            ErrorKind::ImplicitlyDefinedAttribute => Severity::Ignore,
             _ => Severity::Error,
         }
     }

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_derive/Cargo.toml

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

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_python/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_python"
-version = "0.29.1"
+version = "0.30.0"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"
@@ -15,6 +15,7 @@ equivalent = "1.0"
 itertools = "0.14.0"
 lsp-types = "0.94.1"
 parse-display = "0.8.2"
+pathdiff = "0.2"
 pyrefly_util = { path = "../pyrefly_util" }
 regex = "1.11.1"
 ruff_python_ast = { git = "https://github.com/astral-sh/ruff/", rev = "9bee8376a17401f9736b45fdefffb62edc2f1668" }

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_python/src/module_name.rs

@@ -10,6 +10,7 @@ use std::fmt;
 use std::fmt::Debug;
 use std::fmt::Display;
 use std::hash::Hash;
+use std::path::Component;
 use std::path::Path;
 
 use dupe::Dupe;
@@ -172,17 +173,7 @@ impl ModuleName {
         Self::from_string(itertools::join(parts, "."))
     }
 
-    pub fn from_relative_path(path: &Path) -> anyhow::Result<Self> {
-        let mut components = Vec::new();
-        for raw_component in path.components() {
-            if let Some(component) = raw_component.as_os_str().to_str() {
-                components.push(component)
-            } else {
-                return Err(anyhow::anyhow!(PathConversionError::ComponentNotUTF8 {
-                    component: raw_component.as_os_str().to_owned(),
-                }));
-            }
-        }
+    fn from_relative_path_components(mut components: Vec<&str>) -> anyhow::Result<Self> {
         let last_element = components.pop();
         match last_element {
             None => {}
@@ -201,6 +192,39 @@ impl ModuleName {
         Ok(ModuleName::from_parts(components))
     }
 
+    pub fn from_relative_path(path: &Path) -> anyhow::Result<Self> {
+        let mut components = Vec::new();
+        for raw_component in path.components() {
+            if let Some(component) = raw_component.as_os_str().to_str() {
+                components.push(component)
+            } else {
+                return Err(anyhow::anyhow!(PathConversionError::ComponentNotUTF8 {
+                    component: raw_component.as_os_str().to_owned(),
+                }));
+            }
+        }
+        Self::from_relative_path_components(components)
+    }
+
+    pub fn relative_module_name_between(from: &Path, to: &Path) -> Option<ModuleName> {
+        let relative_path = pathdiff::diff_paths(to, from.parent()?)?;
+        // In the following loop, we aim to generate a list of components that can be joined by `.`
+        // to form a correct relative import module name,
+        let mut components = vec![""];
+        for raw_component in relative_path.as_path().components() {
+            match &raw_component {
+                // For each parent, we should create a `.`.
+                // The `.` is already provided during the join, so we only need an empty component.
+                Component::ParentDir => components.push(""),
+                Component::CurDir => {}
+                Component::Prefix(_) | Component::RootDir | Component::Normal(_) => {
+                    components.push(raw_component.as_os_str().to_str()?);
+                }
+            };
+        }
+        Self::from_relative_path_components(components).ok()
+    }
+
     pub fn append(self, name: &Name) -> Self {
         Self::from_string(format!("{}.{}", self.as_str(), name))
     }
@@ -334,4 +358,18 @@ mod tests {
         assert_conversion_error("foo/bar/baz");
         assert_conversion_error("foo/bar/__init__.derp");
     }
+
+    #[test]
+    fn test_relative_module_name_between() {
+        fn assert_module_name(from: &str, to: &str, expected: &str) {
+            let from = Path::new(from);
+            let to = Path::new(to);
+            let actual = ModuleName::relative_module_name_between(from, to);
+            assert_eq!(Some(ModuleName::from_str(expected)), actual);
+        }
+        assert_module_name("foo/bar.py", "foo/baz.py", ".baz");
+        assert_module_name("bar.py", "foo/baz.py", ".foo.baz");
+        assert_module_name("foo/bar.py", "baz.py", "..baz");
+        assert_module_name("foo/bar/boz.py", "baz.py", "...baz");
+    }
 }

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_types/Cargo.toml

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

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_types/src/callable.rs

@@ -52,7 +52,7 @@ impl ParamList {
     }
 
     /// Prepend some required position-only parameters.
-    pub fn prepend_types(&self, pre: &[Type]) -> Cow<ParamList> {
+    pub fn prepend_types(&self, pre: &[Type]) -> Cow<'_, ParamList> {
         if pre.is_empty() {
             Cow::Borrowed(self)
         } else {
@@ -153,8 +153,10 @@ impl ParamList {
         self.0.is_empty()
     }
 
-    pub fn tail(&self) -> ParamList {
-        Self(self.0[1..].to_vec())
+    pub fn split_first(&self) -> Option<(&Type, ParamList)> {
+        self.0
+            .split_first()
+            .map(|(first, rest)| (first.as_type(), ParamList(rest.to_vec())))
     }
 
     /// Type signature that permits everything, namely `*args, **kwargs`.
@@ -392,20 +394,25 @@ impl Callable {
         }
     }
 
-    pub fn drop_first_param(&self) -> Option<Self> {
+    pub fn split_first_param(&self) -> Option<(&Type, Self)> {
         match self {
             Self {
                 params: Params::List(params),
                 ret,
-            } if !params.is_empty() => Some(Self::list(params.tail(), ret.clone())),
+            } => {
+                let (first, rest) = params.split_first()?;
+                Some((first, Self::list(rest, ret.clone())))
+            }
             Self {
                 params: Params::ParamSpec(ts, p),
                 ret,
-            } if !ts.is_empty() => Some(Self::concatenate(
-                ts.iter().skip(1).cloned().collect(),
-                p.clone(),
-                ret.clone(),
-            )),
+            } => {
+                let (first, rest) = ts.split_first()?;
+                Some((
+                    first,
+                    Self::concatenate(rest.iter().cloned().collect(), p.clone(), ret.clone()),
+                ))
+            }
             _ => None,
         }
     }

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_types/src/class.rs

@@ -163,6 +163,7 @@ impl ClassKind {
             ("cached_property", "cached_property") => Self::Property(name.clone()),
             ("cinder", "cached_property") => Self::Property(name.clone()),
             ("cinder", "async_cached_property") => Self::Property(name.clone()),
+            ("enum", "property") => Self::Property(name.clone()),
             ("enum", "member") => Self::EnumMember,
             ("enum", "nonmember") => Self::EnumNonmember,
             ("dataclasses", "Field") => Self::DataclassField,
@@ -333,7 +334,7 @@ impl ClassType {
         Self(self.0.dupe(), self.1.substitute_with(substitution))
     }
 
-    pub fn substitution(&self) -> Substitution {
+    pub fn substitution(&self) -> Substitution<'_> {
         self.targs().substitution()
     }
 

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_types/src/display.rs

@@ -22,6 +22,7 @@ use starlark_map::smallmap;
 
 use crate::callable::Function;
 use crate::class::Class;
+use crate::literal::Lit;
 use crate::qname::QName;
 use crate::tuple::Tuple;
 use crate::types::AnyStyle;
@@ -188,6 +189,16 @@ impl<'a> TypeDisplayContext<'a> {
         }
     }
 
+    fn fmt_lit(&self, lit: &Lit, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        match lit {
+            Lit::Enum(e) => {
+                self.fmt_qname(e.class.qname(), f)?;
+                write!(f, ".{}", e.member)
+            }
+            _ => write!(f, "{lit}"),
+        }
+    }
+
     fn fmt<'b>(&self, t: &'b Type, f: &mut fmt::Formatter<'_>) -> fmt::Result {
         self.fmt_helper(t, f, true)
     }
@@ -254,7 +265,11 @@ impl<'a> TypeDisplayContext<'a> {
             }
 
             // Other things
-            Type::Literal(lit) => write!(f, "Literal[{lit}]"),
+            Type::Literal(lit) => {
+                write!(f, "Literal[")?;
+                self.fmt_lit(lit, f)?;
+                write!(f, "]")
+            }
             Type::LiteralString => write!(f, "LiteralString"),
             Type::Callable(box c)
             | Type::Function(box Function {
@@ -309,7 +324,7 @@ impl<'a> TypeDisplayContext<'a> {
                             if literal_idx.is_none() {
                                 literal_idx = Some(i);
                             }
-                            literals.push(lit)
+                            literals.push(format!("{}", Fmt(|f| self.fmt_lit(lit, f))))
                         }
                         Type::Callable(_) | Type::Function(_) => {
                             display_types.push(format!("({})", self.display_internal(t)))
@@ -382,8 +397,8 @@ impl<'a> TypeDisplayContext<'a> {
                         self.fmt_qname(obj.qname(), f)?;
                         self.fmt_targs(obj.targs(), f)?;
                     }
-                    SuperObj::Class(obj) => {
-                        self.fmt_qname(obj.qname(), f)?;
+                    SuperObj::Class(cls) => {
+                        self.fmt_qname(cls.qname(), f)?;
                     }
                 }
                 write!(f, "]")
@@ -446,6 +461,7 @@ pub mod tests {
     use crate::class::ClassDefIndex;
     use crate::class::ClassType;
     use crate::literal::Lit;
+    use crate::literal::LitEnum;
     use crate::quantified::Quantified;
     use crate::quantified::QuantifiedKind;
     use crate::tuple::Tuple;
@@ -685,11 +701,26 @@ pub mod tests {
 
     #[test]
     fn test_display_literal() {
+        // Simple literals
         assert_eq!(Type::Literal(Lit::Bool(true)).to_string(), "Literal[True]");
         assert_eq!(
             Type::Literal(Lit::Bool(false)).to_string(),
             "Literal[False]"
         );
+
+        // Enum literals (not all of these types make sense, we're only providing what's relevant)
+        let my_enum = ClassType::new(fake_class("MyEnum", "mod.ule", 5), TArgs::default());
+        let t = Type::Literal(Lit::Enum(Box::new(LitEnum {
+            class: my_enum,
+            member: Name::new_static("X"),
+            ty: Type::any_implicit(),
+        })));
+
+        let mut ctx = TypeDisplayContext::new(&[&t]);
+        assert_eq!(ctx.display(&t).to_string(), "Literal[MyEnum.X]");
+
+        ctx.always_display_module_name();
+        assert_eq!(ctx.display(&t).to_string(), "Literal[mod.ule.MyEnum.X]");
     }
 
     #[test]

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_types/src/keywords.rs

@@ -126,6 +126,9 @@ pub struct DataclassFieldKeywords {
     pub kw_only: Option<bool>,
     /// Alias that is used in `__init__` rather than the field name. None means no alias
     pub alias: Option<Name>,
+    /// gt and lt specify the range of values that the field can take. None means no constraint
+    pub lt: Option<Type>,
+    pub gt: Option<Type>,
     /// If a converter callable is passed in, its first positional parameter
     pub converter_param: Option<Type>,
 }
@@ -148,6 +151,8 @@ impl DataclassFieldKeywords {
             default: false,
             kw_only: None,
             alias: None,
+            lt: None,
+            gt: None,
             converter_param: None,
         }
     }

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_types/src/read_only.rs

@@ -27,6 +27,8 @@ pub enum ReadOnlyReason {
     Super,
     /// Field is marked as frozen via a ConfigDict
     PydanticFrozen,
+    /// Field is an enum member's value
+    EnumMemberValue,
 }
 
 impl ReadOnlyReason {
@@ -48,6 +50,9 @@ impl ReadOnlyReason {
             ReadOnlyReason::PydanticFrozen => {
                 "This field belongs to a frozen Pydantic model".to_owned()
             }
+            ReadOnlyReason::EnumMemberValue => {
+                "An enum member's value may not be modified".to_owned()
+            }
         }
     }
 }

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_types/src/typed_dict.rs

@@ -14,6 +14,7 @@ use crate::annotation::Qualifier;
 use crate::class::Class;
 use crate::qname::QName;
 use crate::read_only::ReadOnlyReason;
+use crate::stdlib::Stdlib;
 use crate::types::Substitution;
 use crate::types::TArgs;
 use crate::types::Type;
@@ -101,6 +102,20 @@ impl ExtraItems {
             }),
         }
     }
+
+    pub fn extra_item(&self, stdlib: &Stdlib) -> ExtraItem {
+        match self {
+            Self::Extra(extra) => extra.clone(),
+            Self::Closed => ExtraItem {
+                ty: Type::never(),
+                read_only: false,
+            },
+            Self::Default => ExtraItem {
+                ty: stdlib.object().clone().to_type(),
+                read_only: true,
+            },
+        }
+    }
 }
 
 #[derive(Clone, Debug, TypeEq, PartialEq, Eq, Hash)]

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_types/src/types.rs

@@ -388,17 +388,6 @@ pub struct BoundMethod {
 }
 
 impl BoundMethod {
-    pub fn drop_self(&self) -> Option<Type> {
-        self.func
-            .clone()
-            .as_type()
-            .drop_first_param_of_unbound_callable()
-    }
-
-    pub fn as_function(self) -> Type {
-        self.func.as_type()
-    }
-
     pub fn with_bound_object(&self, obj: Type) -> Self {
         Self {
             obj,
@@ -609,7 +598,7 @@ impl Forallable {
 #[derive(Visit, VisitMut, TypeEq)]
 pub enum SuperObj {
     Instance(ClassType),
-    Class(Class),
+    Class(ClassType),
 }
 
 // Note: The fact that Literal and LiteralString are at the front is important for
@@ -931,41 +920,6 @@ impl Type {
         }
     }
 
-    /// If this is an unbound callable (i.e., a callable that is not BoundMethod), strip the first parameter.
-    /// TODO: Does not handle generics.
-    pub fn drop_first_param_of_unbound_callable(&self) -> Option<Type> {
-        match self {
-            Type::Callable(callable) => callable
-                .drop_first_param()
-                .map(|callable| Type::Callable(Box::new(callable))),
-            Type::Function(func) => func.signature.drop_first_param().map(|callable| {
-                Type::Function(Box::new(Function {
-                    signature: callable,
-                    metadata: func.metadata.clone(),
-                }))
-            }),
-            Type::Overload(overload) => overload
-                .signatures
-                .try_mapped_ref(|x| match x {
-                    OverloadType::Function(f) => {
-                        f.signature.drop_first_param().ok_or(()).map(|c| Function {
-                            signature: c,
-                            metadata: f.metadata.clone(),
-                        })
-                    }
-                    _ => Err(()),
-                })
-                .ok()
-                .map(|signatures| {
-                    Type::Overload(Overload {
-                        signatures: signatures.mapped(OverloadType::Function),
-                        metadata: overload.metadata.clone(),
-                    })
-                }),
-            _ => None,
-        }
-    }
-
     pub fn is_none(&self) -> bool {
         matches!(self, Type::None)
     }
@@ -1402,6 +1356,7 @@ impl Type {
             Type::TypeVarTuple(t) => Some(t.qname()),
             Type::ParamSpec(t) => Some(t.qname()),
             Type::SelfType(cls) => Some(cls.qname()),
+            Type::Literal(Lit::Enum(e)) => Some(e.class.qname()),
             _ => None,
         }
     }

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_util/Cargo.toml

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

{pyrefly-0.29.1 → pyrefly-0.30.0}/crates/pyrefly_util/src/exclusive_lock.rs

@@ -50,7 +50,7 @@ impl<T: PartialEq> ExclusiveLock<T> {
     /// If the lock is not held, take it and return a guard.
     /// If the lock is held, and the value matches, wait for the lock to be released then return None.
     /// If the lock is held, and the value does not match, return None immediately.
-    pub fn lock(&self, value: T) -> Option<ExclusiveLockGuard<T>> {
+    pub fn lock(&self, value: T) -> Option<ExclusiveLockGuard<'_, T>> {
         let mut exclusive = self.exclusive.lock();
         match &*exclusive {
             None => {