CoreVariable is copy

lqd · compiler-errors · commit 50b0b9a68e38 · 2024-05-14T09:42:06.000-04:00
diff --git a/crates/formality-core/src/parse.rs b/crates/formality-core/src/parse.rs
@@ -187,7 +187,7 @@ impl<L: Language> Scope<L> {
         self.bindings
             .iter()
             .rev()
-            .flat_map(|(n, p)| if name == n { Some(p.clone()) } else { None })
+            .flat_map(|(n, p)| if name == n { Some(*p) } else { None })
             .next()
     }
 

Original file line number	Diff line number	Diff line change
`@@ -187,7 +187,7 @@ impl<L: Language> Scope<L> {`
`187`	`187`	`self.bindings`
`188`	`188`	`.iter()`
`189`	`189`	`.rev()`
`190`		`- .flat_map(\|(n, p)\| if name == n { Some(p.clone()) } else { None })`
	`190`	`+ .flat_map(\|(n, p)\| if name == n { Some(*p) } else { None })`
`191`	`191`	`.next()`
`192`	`192`	`}`
`193`	`193`