Improve test coverage

CQCL · Feb 2, 2024 · 6b28cf7 · 6b28cf7
1 parent 271acec
commit 6b28cf7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/std_extensions/arithmetic/int_types.rs b/src/std_extensions/arithmetic/int_types.rs
@@ -150,7 +150,7 @@ impl CustomConst for ConstIntU {
         format!("u{}({})", self.log_width, self.value).into()
     }
     fn check_custom_type(&self, typ: &CustomType) -> Result<(), CustomCheckFailure> {
-        if typ == &int_custom_type(type_arg(self.log_width)) {
+        if typ == &self.typ() {
             Ok(())
         } else {
             Err(CustomCheckFailure::Message(
@@ -179,7 +179,7 @@ impl CustomConst for ConstIntS {
         format!("i{}({})", self.log_width, self.value).into()
     }
     fn check_custom_type(&self, typ: &CustomType) -> Result<(), CustomCheckFailure> {
-        if typ == &int_custom_type(type_arg(self.log_width)) {
+        if typ == &self.typ() {
             Ok(())
         } else {
             Err(CustomCheckFailure::Message(