Merge pull request #216 from ia0/usize_32_or_std

Make sure production store only builds with usize=u32
This commit is contained in:
Julien Cretin
2021-04-26 13:29:47 +02:00
committed by GitHub

View File

@@ -376,6 +376,8 @@ pub use self::store::{
/// with Rust, `usize` is used instead of `Nat` in code meant only for tests.
///
/// Currently, the store only supports targets with `usize = u32`.
// Make sure production builds have `usize = 32`.
#[cfg(any(target_pointer_width = "32", feature = "std"))]
type Nat = u32;
/// Returns the internal representation of a Rust natural number.