Comment by germandiago

Preconditions cannot be checked at compile time in all cases.