For the rare languages that support invariants (or has a library that implements invariants) you would write it as code rather than a comment and the compiler w

For the rare languages that support invariants (or has a library that implements invariants) you would write it as code rather than a comment and the compiler will compile time error if the compiled code is capable of violating the invariant.