``empty()`` will never cause a warning