What does an empty BOOST_CHECK_NO_THROW statement do?