7 releases (stable)
Uses new Rust 2021
|1.4.0||Apr 27, 2022|
|1.3.1||Apr 19, 2022|
|0.0.0||Apr 8, 2022|
#422 in Rust patterns
2,561 downloads per month
Compile time assertions.
QED is an initialism of the Latin phrase quod erat demonstrandum, meaning "which was to be demonstrated".
This crate contains compile time assertion macros used for maintaining safety invariants or limiting platform support. If the assertion is false, a compiler error is emitted.
Add this to your
[dependencies] qed = "1.4.0"
Then make compile time assertions like:
use core::num::NonZeroU8; qed::const_assert!(usize::BITS >= u32::BITS); qed::const_assert_eq!("Veni, vidi, vici".len(), 16); qed::const_assert_ne!('∎'.len_utf8(), 1); qed::const_assert_matches!(NonZeroU8::new(42), Some(nz) if nz.get() == 42);
no_std compatible although some macros may construct types which
::std to be available.
This crate requires at least Rust 1.59.0. This version can be bumped in minor releases.
qed is licensed under the MIT License (c) Ryan Lopopolo.