fix clippy

RalfJung · RalfJung · commit 822286f0758b · 2024-07-27T08:31:07.000+02:00
diff --git a/src/tools/miri/src/shims/x86/mod.rs b/src/tools/miri/src/shims/x86/mod.rs
@@ -1178,7 +1178,7 @@ fn pclmulqdq<'tcx>(
         // if the i-th bit in right is set
         if (right & (1 << i)) != 0 {
             // xor result with `left` shifted to the left by i positions
-            result ^= (left as u128) << i;
+            result ^= u128::from(left) << i;
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -1178,7 +1178,7 @@ fn pclmulqdq<'tcx>(`
`1178`	`1178`	`// if the i-th bit in right is set`
`1179`	`1179`	`if (right & (1 << i)) != 0 {`
`1180`	`1180`	// xor result with `left` shifted to the left by i positions
`1181`		`- result ^= (left as u128) << i;`
	`1181`	`+ result ^= u128::from(left) << i;`
`1182`	`1182`	`}`
`1183`	`1183`	`}`
`1184`	`1184`