invariants (cargo): Assertions for normal and invariant based development
Keywords: testing|assets|debugging|assertions