It was pointed out on IRC that the name is misleading, since the actual semantics of the macro is to assert first.