use *num_binders instead of clone

nikomatsakis · nikomatsakis · commit 8abe6338bea7 · 2020-03-27T14:33:11.000-04:00
diff --git a/chalk-ir/src/fold/binder_impls.rs b/chalk-ir/src/fold/binder_impls.rs
@@ -22,7 +22,7 @@ impl<I: Interner, TI: TargetInterner<I>> Fold<I, TI> for Fn<I> {
             parameters,
         } = self;
         Ok(Fn {
-            num_binders: num_binders.clone(),
+            num_binders: *num_binders,
             parameters: parameters.fold_with(folder, outer_binder.shifted_in())?,
         })
     }

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ impl<I: Interner, TI: TargetInterner<I>> Fold<I, TI> for Fn<I> {`
`22`	`22`	`parameters,`
`23`	`23`	`} = self;`
`24`	`24`	`Ok(Fn {`
`25`		`- num_binders: num_binders.clone(),`
	`25`	`+ num_binders: *num_binders,`
`26`	`26`	`parameters: parameters.fold_with(folder, outer_binder.shifted_in())?,`
`27`	`27`	`})`
`28`	`28`	`}`