pyrefly 0.26.1__tar.gz → 0.27.1__tar.gz

{pyrefly-0.26.1 → pyrefly-0.27.1}/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",
@@ -1928,9 +1928,9 @@ checksum = "8b870d8c151b6f2fb93e84a13146138f05d02ed11c7e7c54f8826aaaf7c9f184"
 
 [[package]]
 name = "pkg-config"
-version = "0.3.30"
+version = "0.3.32"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d231b230927b5e4ad203db57bbcbee2802f6bce620b1e4a9024a07d94e2907ec"
+checksum = "7edddbd0b52d732b21ad9a5fab5c704c14cd949e5e9a1ec5929a24fded1b904c"
 
 [[package]]
 name = "portable-atomic"
@@ -2029,7 +2029,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly"
-version = "0.26.1"
+version = "0.27.1"
 dependencies = [
  "anstream",
  "anyhow",
@@ -2077,7 +2077,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_bundled"
-version = "0.26.1"
+version = "0.27.1"
 dependencies = [
  "anyhow",
  "starlark_map",
@@ -2087,7 +2087,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_config"
-version = "0.26.1"
+version = "0.27.1"
 dependencies = [
  "anyhow",
  "clap",
@@ -2120,7 +2120,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_derive"
-version = "0.26.1"
+version = "0.27.1"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2129,7 +2129,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_python"
-version = "0.26.1"
+version = "0.27.1"
 dependencies = [
  "anyhow",
  "dupe",
@@ -2151,7 +2151,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_types"
-version = "0.26.1"
+version = "0.27.1"
 dependencies = [
  "compact_str 0.8.0",
  "dupe",
@@ -2171,7 +2171,7 @@ dependencies = [
 
 [[package]]
 name = "pyrefly_util"
-version = "0.26.1"
+version = "0.27.1"
 dependencies = [
  "anstream",
  "anyhow",

{pyrefly-0.26.1 → pyrefly-0.27.1}/PKG-INFO

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

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

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

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

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_config"
-version = "0.26.1"
+version = "0.27.1"
 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"
@@ -21,7 +21,7 @@ pyrefly_python = { path = "../pyrefly_python" }
 pyrefly_util = { path = "../pyrefly_util" }
 regex = "1.11.1"
 regex-syntax = "0.7.5"
-serde = { version = "1.0.185", features = ["derive", "rc"] }
+serde = { version = "1.0.219", features = ["derive", "rc"] }
 serde_json = { version = "1.0.140", features = ["alloc", "float_roundtrip", "unbounded_depth"] }
 serde_jsonrc = "0.1"
 serde_with = { version = "3", features = ["hex", "json"] }

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_config/src/args.rs

@@ -79,9 +79,6 @@ pub struct ConfigOverrideArgs {
     #[arg(long)]
     typeshed_path: Option<PathBuf>,
 
-    /// Whether to search imports in `site-package-path` that do not have a `py.typed` file unconditionally.
-    #[arg(long)]
-    use_untyped_imports: Option<bool>,
     /// Always replace specified imports with typing.Any, suppressing related import errors even if the module is found.
     #[arg(long)]
     replace_imports_with_any: Option<Vec<String>>,
@@ -185,9 +182,6 @@ impl ConfigOverrideArgs {
             config.interpreters.python_interpreter = Some(ConfigOrigin::cli(x.clone()));
             config.interpreters.conda_environment = None;
         }
-        if let Some(x) = &self.use_untyped_imports {
-            config.use_untyped_imports = *x;
-        }
         if let Some(x) = &self.ignore_missing_source {
             config.ignore_missing_source = *x;
         }

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_config/src/config.rs

@@ -276,15 +276,10 @@ pub struct ConfigFile {
              )]
     pub sub_configs: Vec<SubConfig>,
 
+    // TODO(connernilsen): fully deprecate this
     /// Skips any `py.typed` checks we do when resolving `site_package_path` imports.
-    #[serde(
-                     default = "ConfigFile::default_true",
-                     skip_serializing_if = "crate::util::skip_default_true",
-                     // TODO(connernilsen): DON'T COPY THIS TO NEW FIELDS. This is a temporary
-                     // alias while we migrate existing fields from snake case to kebab case.
-                     alias = "use_untyped_imports",
-                 )]
-    pub use_untyped_imports: bool,
+    #[serde(default, skip_serializing, alias = "use_untyped_imports")]
+    pub use_untyped_imports: Option<bool>,
 
     /// Completely custom module to path mappings. Currently not exposed to the user.
     #[serde(skip)]
@@ -323,7 +318,7 @@ impl Default for ConfigFile {
             root: Default::default(),
             sub_configs: Default::default(),
             custom_module_paths: Default::default(),
-            use_untyped_imports: true,
+            use_untyped_imports: None,
             ignore_missing_source: true,
             typeshed_path: None,
         }
@@ -598,9 +593,9 @@ impl ConfigFile {
             })
         }
         if let Some(site_package_path) = &self.python_environment.site_package_path {
-            configure_errors.extend(validate(site_package_path.as_ref(), "site_package_path"));
+            configure_errors.extend(validate(site_package_path.as_ref(), "site-package-path"));
         }
-        configure_errors.extend(validate(&self.search_path_from_file, "search_path"));
+        configure_errors.extend(validate(&self.search_path_from_file, "search-path"));
 
         if self.interpreters.python_interpreter.is_some()
             && self.interpreters.conda_environment.is_some()
@@ -610,6 +605,12 @@ impl ConfigFile {
              ));
         }
 
+        if self.use_untyped_imports.is_some() {
+            configure_errors.push(anyhow::anyhow!(
+                    "Configuration option `use-untyped-imports` is deprecated and will be removed in a future update."
+            ));
+        }
+
         if let ConfigSource::File(path) = &self.source {
             configure_errors
                 .into_map(|e| ConfigError::warn(e.context(format!("{}", path.display()))))
@@ -804,7 +805,6 @@ mod tests {
              replace-imports-with-any = ["fibonacci"]
              ignore-missing-imports = ["sprout"]
              ignore-errors-in-generated-code = true
-             use-untyped-imports = true
              ignore-missing-source = true
 
              [errors]
@@ -882,7 +882,7 @@ mod tests {
                         permissive_ignores: None,
                     }
                 }],
-                use_untyped_imports: true,
+                use_untyped_imports: None,
                 ignore_missing_source: true,
                 typeshed_path: None,
             }
@@ -902,7 +902,6 @@ mod tests {
              python_interpreter = "venv/my/python"
              replace_imports_with_any = ["fibonacci"]
              ignore_errors_in_generated_code = true
-             use_untyped_imports = true
              ignore_missing_source = true
 
              [errors]
@@ -1105,7 +1104,7 @@ mod tests {
                 matches: Glob::new("sub/project/**".to_owned()).unwrap(),
                 settings: Default::default(),
             }],
-            use_untyped_imports: false,
+            use_untyped_imports: None,
             ignore_missing_source: false,
             typeshed_path: None,
         };
@@ -1159,7 +1158,7 @@ mod tests {
                 matches: sub_config_matches,
                 settings: Default::default(),
             }],
-            use_untyped_imports: false,
+            use_untyped_imports: None,
             ignore_missing_source: false,
             typeshed_path: None,
         };

{pyrefly-0.26.1 → pyrefly-0.27.1}/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.26.1 → pyrefly-0.27.1}/crates/pyrefly_config/src/migration/mod.rs

@@ -19,7 +19,6 @@ pub mod run;
 pub(crate) mod search_path;
 pub(crate) mod sub_configs;
 pub(crate) mod untyped_def_behavior;
-pub(crate) mod use_untyped_imports;
 
 #[cfg(test)]
 pub(crate) mod test_util;

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_config/src/migration/mypy/ini.rs

@@ -25,7 +25,6 @@ use crate::migration::python_version::PythonVersionConfig;
 use crate::migration::search_path::SearchPath;
 use crate::migration::sub_configs::SubConfigs;
 use crate::migration::untyped_def_behavior::UntypedDefBehaviorConfig;
-use crate::migration::use_untyped_imports::UseUntypedImports;
 #[derive(Clone, Debug, Deserialize)]
 #[allow(dead_code)]
 pub struct MypyConfig {
@@ -42,11 +41,6 @@ pub struct MypyConfig {
     python_version: Option<PythonVersion>,
     #[serde(rename = "python_executable")]
     python_interpreter: Option<PathBuf>,
-    #[serde(
-        rename = "follow_untyped_imports",
-        default = "ConfigFile::default_true"
-    )]
-    use_untyped_imports: bool,
     disable_error_code: Option<Vec<String>>,
     enable_error_code: Option<Vec<String>>,
     check_untyped_defs: Option<bool>,
@@ -73,7 +67,6 @@ impl MypyConfig {
             Box::new(ProjectExcludes),
             Box::new(PythonInterpreter),
             Box::new(PythonVersionConfig),
-            Box::new(UseUntypedImports),
             Box::new(IgnoreMissingImports),
             Box::new(SearchPath),
             Box::new(ErrorCodes),
@@ -126,9 +119,6 @@ ignore_missing_imports = True
 [mypy-stricter.on.this.*]
 check_untyped_defs = True
 
-[mypy-do.follow.*]
-follow_untyped_imports = True
-
 [mypy-comma,separated,projects]
 ignore_missing_imports = True
  "#;
@@ -161,7 +151,6 @@ ignore_missing_imports = True
         assert_eq!(cfg.project_excludes, expected_excludes);
         assert_eq!(cfg.root.ignore_missing_imports.unwrap().len(), 5);
         assert_eq!(cfg.root.replace_imports_with_any.unwrap().len(), 0);
-        assert!(cfg.use_untyped_imports);
         Ok(())
     }
 

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_config/src/migration/mypy/pyproject.rs

@@ -21,7 +21,6 @@ use crate::migration::python_interpreter::PythonInterpreter;
 use crate::migration::python_version::PythonVersionConfig;
 use crate::migration::search_path::SearchPath;
 use crate::migration::sub_configs::SubConfigs;
-use crate::migration::use_untyped_imports::UseUntypedImports;
 
 // A pyproject.toml Mypy config differs a bit from the INI format:
 // - The [mypy] section is written as [tool.mypy]
@@ -38,8 +37,6 @@ struct ModuleSection {
     #[serde(default)]
     ignore_missing_imports: bool,
     #[serde(default)]
-    follow_untyped_imports: bool,
-    #[serde(default)]
     follow_imports: Option<String>,
     #[serde_as(as = "Option<OneOrMany<_>>")]
     #[serde(default)]
@@ -79,8 +76,6 @@ struct MypySection {
     #[serde(default)]
     enable_error_code: Option<Vec<String>>,
     #[serde(default)]
-    follow_untyped_imports: Option<bool>,
-    #[serde(default)]
     ignore_missing_imports: Option<bool>,
     #[serde(default)]
     follow_imports: Option<String>,
@@ -154,13 +149,6 @@ fn pyproject_to_ini(raw_file: &str) -> anyhow::Result<Ini> {
             Some(join_strings(&enable_error_code)),
         );
     }
-    if let Some(follow_untyped_imports) = mypy.follow_untyped_imports {
-        ini.set(
-            "mypy",
-            "follow_untyped_imports",
-            Some(follow_untyped_imports.to_string()),
-        );
-    }
     if let Some(ignore_missing_imports) = mypy.ignore_missing_imports {
         ini.set(
             "mypy",
@@ -184,13 +172,6 @@ fn pyproject_to_ini(raw_file: &str) -> anyhow::Result<Ini> {
                     Some("True".to_owned()),
                 );
             }
-            if module_section.follow_untyped_imports {
-                ini.set(
-                    &section_name,
-                    "follow_untyped_imports",
-                    Some("True".to_owned()),
-                );
-            }
             if let Some(follow_imports) = &module_section.follow_imports {
                 ini.set(
                     &section_name,
@@ -232,7 +213,6 @@ pub fn parse_pyproject_config(raw_file: &str) -> anyhow::Result<ConfigFile> {
         Box::new(ProjectExcludes),
         Box::new(PythonInterpreter),
         Box::new(PythonVersionConfig),
-        Box::new(UseUntypedImports),
         Box::new(IgnoreMissingImports),
         Box::new(SearchPath),
         Box::new(ErrorCodes),
@@ -365,24 +345,6 @@ module = [
         Ok(())
     }
 
-    #[test]
-    fn test_use_untyped_imports() -> anyhow::Result<()> {
-        let src = r#"[tool.mypy]
-packages = ["cake"]
-follow_untyped_imports = false
-
-[[tool.mypy.overrides]]
-module = "a"
-follow_untyped_imports = true
-"#;
-        let cfg = parse_pyproject_config(src)?;
-        assert!(!cfg.use_untyped_imports);
-
-        let cfg = parse_pyproject_config("[tool.mypy]\n")?;
-        assert!(cfg.use_untyped_imports);
-        Ok(())
-    }
-
     #[test]
     fn test_subconfig_errors() -> anyhow::Result<()> {
         let src = r#"[tool.mypy]

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_config/src/migration/pyright.rs

@@ -74,7 +74,6 @@ use crate::migration::python_platform::PythonPlatformConfig;
 use crate::migration::python_version::PythonVersionConfig;
 use crate::migration::search_path::SearchPath;
 use crate::migration::sub_configs::SubConfigs;
-use crate::migration::use_untyped_imports::UseUntypedImports;
 
 impl PyrightConfig {
     pub fn parse(text: &str) -> anyhow::Result<Self> {
@@ -92,7 +91,6 @@ impl PyrightConfig {
             Box::new(PythonVersionConfig),
             Box::new(PythonPlatformConfig),
             Box::new(SearchPath),
-            Box::new(UseUntypedImports),
             Box::new(IgnoreMissingImports),
             Box::new(ErrorCodes),
             Box::new(SubConfigs),

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_derive/Cargo.toml

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

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

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyrefly_python"
-version = "0.26.1"
+version = "0.27.1"
 authors = ["Meta"]
 edition = "2024"
 repository = "https://github.com/facebook/pyrefly"
@@ -20,7 +20,7 @@ regex = "1.11.1"
 ruff_python_ast = { git = "https://github.com/astral-sh/ruff/", rev = "9bee8376a17401f9736b45fdefffb62edc2f1668" }
 ruff_python_parser = { git = "https://github.com/astral-sh/ruff/", rev = "9bee8376a17401f9736b45fdefffb62edc2f1668" }
 ruff_text_size = { git = "https://github.com/astral-sh/ruff/", rev = "9bee8376a17401f9736b45fdefffb62edc2f1668" }
-serde = { version = "1.0.185", features = ["derive", "rc"] }
+serde = { version = "1.0.219", features = ["derive", "rc"] }
 starlark_map = "0.13.0"
 static_interner = "0.1.1"
 thiserror = "2.0.12"

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

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

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_types/src/annotation.rs

@@ -71,10 +71,10 @@ impl Annotation {
         self.qualifiers.iter().any(|q| q == qualifier)
     }
 
-    pub fn substitute(self, substitution: Substitution) -> Self {
+    pub fn substitute_with(self, substitution: Substitution) -> Self {
         Self {
             qualifiers: self.qualifiers,
-            ty: self.ty.map(|ty| substitution.substitute(ty)),
+            ty: self.ty.map(|ty| substitution.substitute_into(ty)),
         }
     }
 }

{pyrefly-0.26.1 → pyrefly-0.27.1}/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.26.1 → pyrefly-0.27.1}/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()
     }
@@ -322,8 +326,8 @@ impl ClassType {
     ///
     /// This is used to propagate instantiation of base class type parameters when computing
     /// the MRO.
-    pub fn substitute(&self, substitution: &Substitution) -> Self {
-        Self(self.0.dupe(), self.1.apply_substitution(substitution))
+    pub fn substitute_with(&self, substitution: &Substitution) -> Self {
+        Self(self.0.dupe(), self.1.substitute_with(substitution))
     }
 
     pub fn substitution(&self) -> Substitution {

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_types/src/type_info.rs

@@ -83,7 +83,7 @@ impl TypeInfo {
     }
 
     pub fn with_narrow(&self, facets: &Vec1<FacetKind>, ty: Type) -> Self {
-        if ty == Type::any_error() {
+        if ty.is_error() {
             return self.clone();
         }
         let mut type_info = self.clone();

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_types/src/type_var.rs

@@ -22,6 +22,8 @@ use ruff_python_ast::Identifier;
 use crate::equality::TypeEq;
 use crate::equality::TypeEqCtx;
 use crate::qname::QName;
+use crate::simplify::unions;
+use crate::stdlib::Stdlib;
 use crate::types::Type;
 
 /// Used to represent TypeVar calls. Each TypeVar is unique, so use the ArcId to separate them.
@@ -53,6 +55,20 @@ pub enum Restriction {
     Unrestricted,
 }
 
+impl Restriction {
+    pub fn is_restricted(&self) -> bool {
+        matches!(self, Self::Bound(_) | Self::Constraints(_))
+    }
+
+    pub fn as_type(&self, stdlib: &Stdlib) -> Type {
+        match self {
+            Self::Bound(t) => t.clone(),
+            Self::Constraints(ts) => unions(ts.clone()),
+            Self::Unrestricted => stdlib.object().clone().to_type(),
+        }
+    }
+}
+
 #[derive(Debug, Clone, Copy, PartialEq, Eq, Ord, PartialOrd, Hash)]
 #[derive(Visit, VisitMut, TypeEq)]
 pub enum PreInferenceVariance {

{pyrefly-0.26.1 → pyrefly-0.27.1}/crates/pyrefly_types/src/typed_dict.rs

@@ -31,9 +31,9 @@ impl TypedDictField {
         self.read_only_reason.is_some()
     }
 
-    pub fn substitute(self, substitution: &Substitution) -> Self {
+    pub fn substitute_with(self, substitution: &Substitution) -> Self {
         Self {
-            ty: substitution.substitute(self.ty),
+            ty: substitution.substitute_into(self.ty),
             required: self.required,
             read_only_reason: self.read_only_reason,
         }
@@ -67,4 +67,12 @@ impl TypedDict {
     pub fn targs(&self) -> &TArgs {
         &self.args
     }
+
+    pub fn targs_mut(&mut self) -> &mut TArgs {
+        &mut self.args
+    }
+
+    pub fn to_type(self) -> Type {
+        Type::TypedDict(self)
+    }
 }