NeverFearTomorrow

Invariant can cause infinite recursion stack overflow

3

If an invariant calls a function that makes an external call, then the invariant winds up triggering itself, which leads to infinite recursion. This could be considered user error, but...