One of the many good uses of assertions is to catch cases that Should Never Happen.
The textbook example is the last branch of a multi-way conditional statement where one of the conditions before the final "else" must always be true.
Another, where there must always be an element to be found:
» for each x in ...
» » if x satisfies ...
» » » return x
» assert false