clippy

HerodotusDev · Dec 31, 2023 · 87fd1e2 · 87fd1e2
1 parent deddf85
commit 87fd1e2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/runner/src/parser.lalrpop b/runner/src/parser.lalrpop
@@ -20,12 +20,12 @@ Arg: Exprs = {
 };
 
 FriWitnessLayers: Exprs = {
-    <n:Num> "," "[" <a:Comma<Num>> "]" => Exprs(vec![Expr::Value(n)].into_iter().chain(a.into_iter().map(|x| Expr::Value(x))).collect()),
+    <n:Num> "," "[" <a:Comma<Num>> "]" => Exprs(vec![Expr::Value(n)].into_iter().chain(a.into_iter().map(Expr::Value)).collect()),
     StructName "(" ArgName "=" StructName "(" <n:FriWitnessLayersArgs> ")" ")" => n,
 };
 
 FriWitnessLayersArgs: Exprs = {
-    ArgName "=" <n:Num> "," ArgName "=" "[" <a:Comma<Num>> "]" => Exprs(vec![Expr::Value(n)].into_iter().chain(a.into_iter().map(|x| Expr::Value(x))).collect()),
+    ArgName "=" <n:Num> "," ArgName "=" "[" <a:Comma<Num>> "]" => Exprs(vec![Expr::Value(n)].into_iter().chain(a.into_iter().map(Expr::Value)).collect()),
 };
 
 Comma<T>: Vec<T> = {