#[assert]
Statically assert aspects of types, traits, and more.
This currently does nothing. Create an issue if you have ideas for what this could do!