Add trait impl check for signed ints

CosmWasm · Jun 28, 2023 · 8d89684 · 8d89684
1 parent a5ae44a
commit 8d89684
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/packages/std/src/math/mod.rs b/packages/std/src/math/mod.rs
@@ -72,15 +72,31 @@ mod tests {
     {
     }
 
+    trait SignedImpl<'a>: IntImpl<'a> + Neg<Output = Self> {}
+
     impl AllImpl<'_> for Uint64 {}
     impl AllImpl<'_> for Uint128 {}
     impl AllImpl<'_> for Uint256 {}
     impl AllImpl<'_> for Uint512 {}
+    impl AllImpl<'_> for Int64 {}
+    impl AllImpl<'_> for Int128 {}
+    impl AllImpl<'_> for Int256 {}
     impl AllImpl<'_> for Int512 {}
+
+    impl IntImpl<'_> for Int64 {}
+    impl IntImpl<'_> for Int128 {}
+    impl IntImpl<'_> for Int256 {}
+    impl IntImpl<'_> for Int512 {}
     impl IntImpl<'_> for Uint64 {}
     impl IntImpl<'_> for Uint128 {}
     impl IntImpl<'_> for Uint256 {}
     impl IntImpl<'_> for Uint512 {}
+
     impl AllImpl<'_> for Decimal {}
     impl AllImpl<'_> for Decimal256 {}
+
+    impl SignedImpl<'_> for Int64 {}
+    impl SignedImpl<'_> for Int128 {}
+    impl SignedImpl<'_> for Int256 {}
+    impl SignedImpl<'_> for Int512 {}
 }