Fix ICE from constant evaluation

kaist-cp · Nov 1, 2024 · 21f6c52 · 21f6c52
1 parent 7173763
commit 21f6c52
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/hazardflow-designs/src/std/value/sint.rs b/hazardflow-designs/src/std/value/sint.rs
@@ -12,13 +12,11 @@ impl<const N: usize> S<N> {
     /// It panics when `M < N`.
     #[allow(clippy::identity_op)]
     pub fn sext<const M: usize>(self) -> S<M>
-    where
-        [(); (M - N) * 1]:,
-        [(); N + (M - N)]:,
-    {
+    where [(); N + M]: {
         if M >= N {
-            let msb_arr: Array<bool, { M - N }> = self.0.clip_const::<1>(N - 1).repeat::<{ M - N }>().concat().resize();
-            S(self.0.append(msb_arr).resize::<M>())
+            let msb = self.0[N - 1];
+            let inner = self.0.append(msb.repeat::<M>());
+            S::from(inner.resize::<M>())
         } else {
             panic!("M should be larger than N")
         }