fmt

Author: asukaminato0721

pyrefly/lib/alt/call.rs

@@ -1201,7 +1201,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 kws = x.arguments.keywords.map(CallKeyword::new);
             }
 
-        self.distribute_over_union(&callee_ty, |ty| match ty.callee_kind() {
+            self.distribute_over_union(&callee_ty, |ty| match ty.callee_kind() {
                 Some(CalleeKind::Function(FunctionKind::AssertType)) => self
                     .call_assert_type(
                         &x.arguments.args,
@@ -1294,7 +1294,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                     )
                 }
         })
-    }
+        }
     }
 
     fn has_exactly_two_posargs(&self, arguments: &Arguments) -> bool {

pyrefly/lib/alt/callable.rs

@@ -563,10 +563,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                             if !self.type_contains_var(hint_ty) {
                                 use_hint = true;
                             } else if let Type::Union(options) = hint_ty {
-                                if options
-                                    .iter()
-                                    .any(|option| !self.type_contains_var(option))
-                                {
+                                if options.iter().any(|option| !self.type_contains_var(option)) {
                                     use_hint = true;
                                 }
                             }
@@ -616,10 +613,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                             if !self.type_contains_var(hint_ty) {
                                 use_hint = true;
                             } else if let Type::Union(options) = hint_ty {
-                                if options
-                                    .iter()
-                                    .any(|option| !self.type_contains_var(option))
-                                {
+                                if options.iter().any(|option| !self.type_contains_var(option)) {
                                     use_hint = true;
                                 }
                             }

pyrefly/lib/alt/expr.rs

@@ -28,9 +28,9 @@ use ruff_python_ast::DictItem;
 use ruff_python_ast::Expr;
 use ruff_python_ast::ExprCall;
 use ruff_python_ast::ExprGenerator;
-use ruff_python_ast::ExprName;
 use ruff_python_ast::ExprLambda;
 use ruff_python_ast::ExprList;
+use ruff_python_ast::ExprName;
 use ruff_python_ast::ExprNumberLiteral;
 use ruff_python_ast::ExprStarred;
 use ruff_python_ast::ExprStringLiteral;
@@ -51,7 +51,6 @@ use crate::alt::callable::CallArg;
 use crate::alt::solve::TypeFormContext;
 use crate::alt::unwrap::Hint;
 use crate::alt::unwrap::HintRef;
-use crate::graph::index::Idx;
 use crate::binding::binding::Binding;
 use crate::binding::binding::Key;
 use crate::binding::binding::KeyYield;
@@ -61,6 +60,7 @@ use crate::error::collector::ErrorCollector;
 use crate::error::context::ErrorContext;
 use crate::error::context::ErrorInfo;
 use crate::error::context::TypeCheckContext;
+use crate::graph::index::Idx;
 use crate::types::callable::Callable;
 use crate::types::callable::Param;
 use crate::types::callable::ParamList;
@@ -330,8 +330,8 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 .hint_from_type(branch.clone(), hint.errors())
                 .with_source_branches(hint.source_branches());
             let branch_errors = self.error_collector();
-            let info = self
-                .expr_infer_type_info_with_hint(x, Some(branch_hint.as_ref()), &branch_errors);
+            let info =
+                self.expr_infer_type_info_with_hint(x, Some(branch_hint.as_ref()), &branch_errors);
             if branch_errors.is_empty() && self.is_subset_eq(info.ty(), branch) {
                 errors.extend(branch_errors);
                 return info;
@@ -1141,7 +1141,12 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         let param_vars: Vec<(Name, Var)> = if let Some(parameters) = &lambda.parameters {
             parameters
                 .iter_non_variadic_params()
-                .map(|x| (x.name().id.clone(), self.bindings().get_lambda_param(x.name())))
+                .map(|x| {
+                    (
+                        x.name().id.clone(),
+                        self.bindings().get_lambda_param(x.name()),
+                    )
+                })
                 .collect()
         } else {
             Vec::new()

pyrefly/lib/solver/solver.rs

@@ -336,9 +336,7 @@ impl Solver {
         match &*variables.get(var) {
             Variable::Unwrap => UnwrapVarState::Unwrap,
             Variable::Answer(ty) => UnwrapVarState::Answer(ty.clone()),
-            other => panic!(
-                "Expected lambda parameter var to be Unwrap or Answer, got {other:?}"
-            ),
+            other => panic!("Expected lambda parameter var to be Unwrap or Answer, got {other:?}"),
         }
     }