Assert is used to create generic trait bounds:

```rust

![allow(incomplete_features)]

![feature(genericconstexprs)]

use const_assert::{Assert, IsTrue, IsFalse};

struct Buffer { inner: [usize; N], }

impl Buffer where Assert<{ N == N.nextpowerof_two() }>: IsTrue, Assert<{ N == 1 }>: IsFalse { pub const fn new() -> Self { Buffer { inner: [0; N] } } }

static BUFFER: Buffer<1024> = Buffer::new(); ```