This one really should be an `assert`, IMO, since it is something that should *always* be true, no matter what.  If it isn't true, then it's a critical bug that needs to be seen.