It should have a FIXME and associated bug for the specific assertion then. It's going to be very hard to go back through all of the standard library and distinguish assertions enforcing runtime invariants from those that are around to catch logic errors in the code itself.