From a06c8ab0c0af8ee9a558349974ff9a90a4231fce Mon Sep 17 00:00:00 2001 From: "Shahar \"Dawn\" Or" Date: Tue, 26 Aug 2025 15:32:37 +0700 Subject: [PATCH] refactor(eta_reduction): inline and rename some bindings --- lib/src/lints/eta_reduction.rs | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/lib/src/lints/eta_reduction.rs b/lib/src/lints/eta_reduction.rs index 0d2c47e..fcaebd9 100644 --- a/lib/src/lints/eta_reduction.rs +++ b/lib/src/lints/eta_reduction.rs @@ -47,20 +47,16 @@ impl Rule for EtaReduction { }; let lambda_expr = Lambda::cast(node.clone())?; - let arg_node = lambda_expr.arg()?; - let arg = Ident::cast(arg_node)?; - let body_node = lambda_expr.body()?; - let body = Apply::cast(body_node)?; - let value_node = body.value()?; - let value = Ident::cast(value_node)?; + let ident = Ident::cast(lambda_expr.arg()?)?; + let body = Apply::cast(lambda_expr.body()?)?; - if arg.as_str() != value.as_str() { + if ident.as_str() != Ident::cast(body.value()?)?.as_str() { return None; } let lambda_node = body.lambda()?; - if mentions_ident(&arg, &lambda_node) { + if mentions_ident(&ident, &lambda_node) { return None; } -- 2.51.2