Attribute Macro proc_static_assertions::assert

#[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!