From fb18e5699b608348905cef1af8c9d81634707fcb Mon Sep 17 00:00:00 2001
From: Asger Hautop Drewsen <asger@tyilo.com>
Date: Tue, 4 Jun 2024 15:12:46 +0200
Subject: [PATCH] Require that Signed and Unsigned associated types implement
 the correct traits

---
 src/num.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/num.rs b/src/num.rs
index 255c61b..9836ce8 100644
--- a/src/num.rs
+++ b/src/num.rs
@@ -250,10 +250,10 @@ new_trait! {
 		, @for<'a> ShrAssign<&'a usize>
 	{
 		/// The signed integer of this bit width.
-		type Signed: Integral;
+		type Signed: Signed;
 
 		/// The unsigned integer of this bit width.
-		type Unsigned: Integral;
+		type Unsigned: Unsigned;
 
 		/// The type’s zero value.
 		const ZERO: Self;