I think this is going backwards. It doesn't matter if it doesn't report on nothrow errors if it has already reported purity/safety errors.