Ensure uniqueness of

CDCgov · Aug 20, 2024 · 377efb2 · 377efb2
1 parent 1d01a69
commit 377efb2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/random.rs b/src/random.rs
@@ -19,6 +19,11 @@ macro_rules! define_rng {
                 stringify!($random_id)
             }
         }
+
+        // This ensures that you can't define two RngIds with the same name
+        #[doc(hidden)]
+        #[no_mangle]
+        pub static $random_id: () = ();
     };
 }
 pub use define_rng;