j
k
j a
j l
Mika Heiskanen wrote:
If the value must be checked beforehand, why bother using a constrained type at all?
Because it performs checking in debug mode to make sure the invariant is indeed true.
Back to the thread
Back to the list