Invariants are evaluated after the associated class is constructed #33
Labels
feature/invariant
The `invariant` declaration
requirement
An assertion or property that must be fulfilled
Milestone
The text was updated successfully, but these errors were encountered: