Like invariant(), the new tassert() assertion type is indicative of a programming error when it fails. Also like invariant(), tassert() should log a backtrace. That way, if customers encounter a tassert() failure, or if tassert() fails in our testing environment, the backtrace will give us useful information for starting to diagnose the bug.