pyrefly 0.12.1__tar.gz → 0.13.0__tar.gz

{pyrefly-0.12.1 → pyrefly-0.13.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyrefly
-Version: 0.12.1
+Version: 0.13.0
 Author: Meta
 License: MIT
 Project-URL: Source Code, https://github.com/facebook/pyrefly

{pyrefly-0.12.1 → pyrefly-0.13.0}/pyrefly/Cargo.lock

@@ -75,7 +75,7 @@ checksum = "fe233a377643e0fc1a56421d7c90acdec45c291b30345eb9f08e8d0ddce5a4ab"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -191,7 +191,7 @@ checksum = "e539d3fca749fcee5236ab05e93a52867dd549cc157c8cb7f99595f3cedffdb5"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -235,9 +235,9 @@ checksum = "5c8214115b7bf84099f1309324e63141d4c5d7cc26862f97a0a857dbefe165bd"
 
 [[package]]
 name = "blake3"
-version = "1.5.2"
+version = "1.5.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3d08263faac5cde2a4d52b513dadb80846023aade56fcd8fc99ba73ba8050e92"
+checksum = "b8ee0c1824c4dea5b5f81736aff91bae041d2c07ee1192bec91054e10e3e601e"
 dependencies = [
  "arrayref",
  "arrayvec",
@@ -359,7 +359,7 @@ dependencies = [
  "heck",
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -578,7 +578,7 @@ checksum = "97369cbbc041bc366949bc74d34658d6cda5621039731c6310521892a3a20ae0"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -598,7 +598,7 @@ checksum = "83e195b4945e88836d826124af44fdcb262ec01ef94d44f14f4fb5103f19892a"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -630,7 +630,7 @@ checksum = "a1ab991c1362ac86c61ab6f556cff143daa22e5a15e4e189df818b2fd19fe65b"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -766,7 +766,7 @@ checksum = "162ee34ebcb7c64a8abebc059ce0fee27c2262618d7b60ed8faf72fef13c3650"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -1044,7 +1044,7 @@ checksum = "1ec89e9337638ecdc08744df490b221a7399bf8d164eb52a665454e60e075ad6"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -1139,7 +1139,7 @@ dependencies = [
  "heck",
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -1549,7 +1549,7 @@ dependencies = [
  "regex",
  "regex-syntax 0.7.5",
  "structmeta",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -1712,7 +1712,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly"
-version = "0.12.1"
+version = "0.13.0"
 dependencies = [
  "anyhow",
  "append-only-vec",
@@ -1773,7 +1773,7 @@ version = "0.0.0"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2069,7 +2069,7 @@ checksum = "5b0276cf7f2c73365f7157c8123c21cd9a50fbbd844757af28ca1f5925fc2a00"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2092,7 +2092,7 @@ checksum = "175ee3e80ae9982737ca543e96133087cbd9a485eecc3bc4de9c1a37b47ea59c"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2233,7 +2233,7 @@ dependencies = [
  "proc-macro2",
  "quote",
  "structmeta-derive",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2244,7 +2244,7 @@ checksum = "a60bcaff7397072dca0017d1db428e30d5002e00b6847703e2e42005c95fbe00"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2266,9 +2266,9 @@ dependencies = [
 
 [[package]]
 name = "syn"
-version = "2.0.100"
+version = "2.0.101"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b09a44accad81e1ba1cd74a32461ba89dee89095ba17b32f5d03683b1b1fc2a0"
+checksum = "8ce2b7fc941b3a24138a0a7cf8e858bfc6a992e7978a068a5c760deb0ed43caf"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2283,7 +2283,7 @@ checksum = "c8af7666ab7b6390ab78131fb5b0fce11d6b7a6951602017c35fa82800708971"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2337,7 +2337,7 @@ checksum = "7f7cf42b4507d8ea322120659672cf1b9dbb93f8f2d4ecfd6e51350ff5b17a1d"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2428,7 +2428,7 @@ checksum = "6e06d43f1345a3bcd39f6a56dbb7dcab2ba47e68e8ac134855e7e2bdbaf8cab8"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2491,7 +2491,7 @@ checksum = "395ae124c09f9e6918a2310af6038fba074bcf474ac352496d5910dd59a2226d"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2724,7 +2724,7 @@ dependencies = [
  "log",
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
  "wasm-bindgen-shared",
 ]
 
@@ -2746,7 +2746,7 @@ checksum = "8ae87ea40c9f689fc23f209965b6fb8a99ad69aeeb0231408be24920604395de"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
  "wasm-bindgen-backend",
  "wasm-bindgen-shared",
 ]
@@ -2834,7 +2834,7 @@ checksum = "a47fddd13af08290e67f4acabf4b459f647552718f683a7b415d290ac744a836"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -2845,7 +2845,7 @@ checksum = "bd9211b69f8dcdfa817bfd14bf1c97c9188afa36f4750130fcdf3f400eca9fa8"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -3152,7 +3152,7 @@ checksum = "2380878cad4ac9aac1e2435f3eb4020e8374b5f13c296cb75b4620ff8e229154"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
  "synstructure",
 ]
 
@@ -3182,7 +3182,7 @@ checksum = "fa4f8080344d4671fb4e831a13ad1e68092748387dfc4f55e356242fae12ce3e"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -3193,7 +3193,7 @@ checksum = "28a6e20d751156648aa063f3800b706ee209a32c0b4d9f24be3d980b01be55ef"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]
@@ -3213,7 +3213,7 @@ checksum = "d71e5d6e06ab090c67b5e44993ec16b72dcbaabc526db883a360057678b48502"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
  "synstructure",
 ]
 
@@ -3236,7 +3236,7 @@ checksum = "6eafa6dfb17584ea3e2bd6e76e0cc15ad7af12b09abdd1ca55961bed9b1063c6"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.100",
+ "syn 2.0.101",
 ]
 
 [[package]]

{pyrefly-0.12.1 → pyrefly-0.13.0}/pyrefly/Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly"
-version = "0.12.1"
+version = "0.13.0"
 authors = ["Meta"]
 edition = "2021"
 repository = "https://github.com/facebook/pyrefly"
@@ -21,7 +21,7 @@ anyhow = "1.0.95"
 append-only-vec = "0.1.2"
 argfile = "0.1.6"
 async-trait = "0.1.86"
-blake3 = { version = "=1.5.2", features = ["mmap", "rayon", "traits-preview"] }
+blake3 = { version = "=1.5.5", features = ["mmap", "rayon", "traits-preview"] }
 clap = { version = "4.5.30", features = ["derive", "env", "string", "unicode", "wrap_help"] }
 const-str = "0.4.3"
 convert_case = "0.6"

{pyrefly-0.12.1 → pyrefly-0.13.0}/pyrefly/lib/alt/specials.rs

@@ -384,7 +384,12 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                     Expr::EllipsisLiteral(_) => Type::type_form(Type::callable_ellipsis(ret)),
                     name @ Expr::Name(_) => {
                         let ty = self.expr_untype(name, TypeFormContext::TypeArgument, errors);
-                        Type::type_form(Type::callable_param_spec(ty, ret))
+                        if ty.is_kind_param_spec() {
+                            Type::type_form(Type::callable_param_spec(ty, ret))
+                        } else {
+                            self.error(errors, name.range(),ErrorKind::BadSpecialization, None, format!("Callable types can only have `ParamSpec` in this position, got `{}`", self.for_display(ty)));
+                            Type::type_form(Type::callable_ellipsis(Type::any_error()))
+                        }
                     }
                     x @ Expr::Subscript(_) => {
                         let ty = self.expr_untype(x, TypeFormContext::TypeArgument, errors);

{pyrefly-0.12.1 → pyrefly-0.13.0}/pyrefly/lib/binding/narrow.rs

@@ -25,6 +25,7 @@ use starlark_map::smallmap;
 use vec1::Vec1;
 
 use crate::assert_words;
+use crate::ruff::ast::Ast;
 use crate::types::types::Type;
 use crate::util::prelude::SliceExt;
 
@@ -306,7 +307,7 @@ pub fn identifier_and_chain_for_attribute(
                 let mut final_chain = Vec1::from_vec_push(rev_attr_chain, expr.attr.id.clone());
                 final_chain.reverse();
                 Some((
-                    Identifier::new(name.id.clone(), name.range),
+                    Ast::expr_name_identifier(name.clone()),
                     AttributeChain::new(final_chain),
                 ))
             }

{pyrefly-0.12.1 → pyrefly-0.13.0}/pyrefly/lib/binding/stmt.rs

@@ -103,7 +103,7 @@ impl<'a> BindingsBuilder<'a> {
             |ann| {
                 Binding::TypeVar(
                     ann,
-                    Identifier::new(name.id.clone(), name.range()),
+                    Ast::expr_name_identifier(name.clone()),
                     Box::new(call.clone()),
                 )
             },
@@ -134,7 +134,7 @@ impl<'a> BindingsBuilder<'a> {
             |ann| {
                 Binding::ParamSpec(
                     ann,
-                    Identifier::new(name.id.clone(), name.range()),
+                    Ast::expr_name_identifier(name.clone()),
                     Box::new(call.clone()),
                 )
             },
@@ -149,7 +149,7 @@ impl<'a> BindingsBuilder<'a> {
             |ann| {
                 Binding::TypeVarTuple(
                     ann,
-                    Identifier::new(name.id.clone(), name.range()),
+                    Ast::expr_name_identifier(name.clone()),
                     Box::new(call.clone()),
                 )
             },
@@ -171,7 +171,7 @@ impl<'a> BindingsBuilder<'a> {
         }
         self.check_functional_definition_name(&name.id, arg_name);
         self.synthesize_enum_def(
-            Identifier::new(name.id.clone(), name.range()),
+            Ast::expr_name_identifier(name.clone()),
             func.clone(),
             members,
         );
@@ -188,7 +188,7 @@ impl<'a> BindingsBuilder<'a> {
         self.ensure_expr(func);
         self.check_functional_definition_name(&name.id, arg_name);
         self.synthesize_typed_dict_def(
-            Identifier::new(name.id.clone(), name.range),
+            Ast::expr_name_identifier(name.clone()),
             func.clone(),
             args,
             keywords,
@@ -205,7 +205,7 @@ impl<'a> BindingsBuilder<'a> {
         self.ensure_expr(func);
         self.check_functional_definition_name(&name.id, arg_name);
         self.synthesize_typing_named_tuple_def(
-            Identifier::new(name.id.clone(), name.range()),
+            Ast::expr_name_identifier(name.clone()),
             func.clone(),
             members,
         );
@@ -222,7 +222,7 @@ impl<'a> BindingsBuilder<'a> {
         self.ensure_expr(func);
         self.check_functional_definition_name(&name.id, arg_name);
         self.synthesize_collections_named_tuple_def(
-            Identifier::new(name.id.clone(), name.range()),
+            Ast::expr_name_identifier(name.clone()),
             members,
             keywords,
         );
@@ -232,10 +232,7 @@ impl<'a> BindingsBuilder<'a> {
         self.ensure_expr(new_type_name);
         self.check_functional_definition_name(&name.id, new_type_name);
         self.ensure_type(base, &mut None);
-        self.synthesize_typing_new_type(
-            Identifier::new(name.id.clone(), name.range()),
-            base.clone(),
-        );
+        self.synthesize_typing_new_type(Ast::expr_name_identifier(name.clone()), base.clone());
     }
 
     pub fn ensure_mutable_name(&mut self, x: &ExprName) {

{pyrefly-0.12.1 → pyrefly-0.13.0}/pyrefly/lib/types/type_info.rs

@@ -208,16 +208,20 @@ impl NarrowedAttrs {
 
     fn update_for_assignment(&mut self, name: &Name, more_names: &[Name], ty: Option<Type>) {
         let attrs = &mut self.0;
-        if more_names.is_empty() {
-            if let Some(ty) = ty {
-                attrs.insert(name.clone(), NarrowedAttr::new(more_names, ty));
-            } else {
-                attrs.shift_remove(name);
+        match more_names {
+            [] => {
+                if let Some(ty) = ty {
+                    attrs.insert(name.clone(), NarrowedAttr::new(more_names, ty));
+                } else {
+                    attrs.shift_remove(name);
+                }
             }
-        } else if let Some(attr) = attrs.get_mut(name) {
-            // (Note that the requirement that more_names be nonempty is satisfied here)
-            attr.update_for_assignment(more_names, ty);
-        } // ... else there is no existing narrow and no narrow type, so do nothing.
+            [name, more_names @ ..] => {
+                if let Some(attr) = attrs.get_mut(name) {
+                    attr.update_for_assignment(name, more_names, ty);
+                } // ... else there is no existing narrow and no narrow type, so do nothing.
+            }
+        }
     }
 
     fn get(&self, name: &Name) -> Option<&NarrowedAttr> {
@@ -402,22 +406,12 @@ impl NarrowedAttr {
         }
     }
 
-    fn update_for_assignment(&mut self, names: &[Name], ty: Option<Type>) {
-        match names {
-            [] => {
-                // This case can't be modeled with mutation, it *has* to be handled one layer up
-                // where we either create a fresh `Leaf` or delete the existing `NarrowedAttr`
-                // (because assignment invalidates subtrees).
-                unreachable!(
-                    "NarrowedAttrs::update_for_assignment should not be called with empty `names`"
-                )
+    fn update_for_assignment(&mut self, name: &Name, more_names: &[Name], ty: Option<Type>) {
+        match self {
+            Self::Leaf(..) => {}
+            Self::WithoutRoot(attrs) | Self::WithRoot(_, attrs) => {
+                attrs.update_for_assignment(name, more_names, ty);
             }
-            [name, more_names @ ..] => match self {
-                Self::Leaf(..) => {}
-                Self::WithoutRoot(attrs) | Self::WithRoot(_, attrs) => {
-                    attrs.update_for_assignment(name, more_names, ty);
-                }
-            },
         }
     }
 

{pyrefly-0.12.1 → pyrefly-0.13.0}/pyrefly_derive/Cargo.toml

@@ -16,4 +16,4 @@ proc-macro = true
 [dependencies]
 proc-macro2 = { version = "1.0.70", features = ["span-locations"] }
 quote = "1.0.29"
-syn = { version = "2.0.96", features = ["extra-traits", "fold", "full", "visit", "visit-mut"] }
+syn = { version = "2.0.101", features = ["extra-traits", "fold", "full", "visit", "visit-mut"] }