Comment of the function says: /// - precondition: end >= start but it actually uses if -> fatalError instead of precondition, Other functions of DateInterval use precondition-s, only this one use...