Add UInt debug_assert(value >= 0) for Int implicit conversion

Signed-off-by: martinvuyk <[email protected]>
modularml · Nov 6, 2024 · 47002e3 · 47002e3
1 parent cf570c3
commit 47002e3
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/stdlib/src/builtin/uint.mojo b/stdlib/src/builtin/uint.mojo
@@ -87,6 +87,9 @@ struct UInt(IntLike, _HashableWithHasher):
         Args:
             value: The init value.
         """
+        debug_assert(
+            value >= 0, "Constructing UInt from negative Int is discouraged."
+        )
         self.value = value.value
 
     @always_inline("nodebug")
@@ -96,6 +99,9 @@ struct UInt(IntLike, _HashableWithHasher):
         Args:
             value: The init value.
         """
+        debug_assert(
+            value >= 0, "Constructing UInt from negative Int is discouraged."
+        )
         self = value.__uint__()
 
     @always_inline("nodebug")