From 8922552903ac5755153ed09abf41929baf1ec2f1 Mon Sep 17 00:00:00 2001
From: Alec Edgington <54802828+cqc-alec@users.noreply.github.com>
Date: Mon, 16 Oct 2023 15:10:29 +0100
Subject: [PATCH] Make integer types equatable. (#606)

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

diff --git a/src/std_extensions/arithmetic/int_types.rs b/src/std_extensions/arithmetic/int_types.rs
index 87f88f2d0..7989b6c8c 100644
--- a/src/std_extensions/arithmetic/int_types.rs
+++ b/src/std_extensions/arithmetic/int_types.rs
@@ -21,7 +21,7 @@ pub const EXTENSION_ID: ExtensionId = ExtensionId::new_unchecked("arithmetic.int
 const INT_TYPE_ID: SmolStr = SmolStr::new_inline("int");
 
 fn int_custom_type(width_arg: TypeArg) -> CustomType {
-    CustomType::new(INT_TYPE_ID, [width_arg], EXTENSION_ID, TypeBound::Copyable)
+    CustomType::new(INT_TYPE_ID, [width_arg], EXTENSION_ID, TypeBound::Eq)
 }
 
 /// Integer type of a given bit width (specified by the TypeArg).
@@ -192,7 +192,7 @@ pub fn extension() -> Extension {
             INT_TYPE_ID,
             vec![LOG_WIDTH_TYPE_PARAM],
             "integral value of a given bit width".to_owned(),
-            TypeBound::Copyable.into(),
+            TypeBound::Eq.into(),
         )
         .unwrap();