blob: 316e7d2c54c6ef601ac05c82246a6e18c0f159fb (
plain) (
blame)
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 crate::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]>;
};
}
|