assertions 0.1.0

Provides const assertions mechanism.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

// Copyright 2018 The Chromium OS Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

//! Macros that assert properties of code at compile time.
//!
//! A static assertion is particularly appropriate when unsafe code relies on
//! two types to have the same size, or on some type to have a particular size.

#[doc(hidden)]
pub mod mechanism;

// Re-export so that these types appear with a more concise name in error
// messages.
#[doc(hidden)]
pub use mechanism::*;

/// Macro that fails to compile if a given const expression is not true.
///
/// # Example
///
/// ```rust
/// extern crate assertions;
/// use assertions::const_assert;
///
/// fn main() {
///     const_assert!(std::mem::size_of::<String>() == 24);
/// }
/// ```
///
/// # Example that fails to compile
///
/// ```rust,compile_fail
/// extern crate assertions;
/// use assertions::const_assert;
///
/// fn main() {
///     // fails to compile:
///     const_assert!(std::mem::size_of::<String>() == 8);
/// }
/// ```
#[macro_export]
macro_rules! const_assert {
    ($e:expr) => {
        let _: $crate::Assert<[(); $e as bool as usize]>;
    };
}