It does not happen when a StackOverflow or UserInterrupt exception is caught.

This also affects ForeignPtr; see the attached "database" example. This is what really triggered #7170 (closed). I marked this "Runtime crash" because it can lead to a ForeignPtr being accessed after the garbage collector finalized it.