Preconditions cannot be checked at compile time in all cases.