This indicates that some type can be turned into tokens that assert something.
Be aware that this only relies on rust’s type checking, the code that is generated
is never actually meant to be executed. The generation functions in three distinct “Stages”.
See below for more information on that.