The call of this method is inside the LIBCPP_ASSERT macro that removes the call when running tests against other libraries. This patch moves the call out of the macro to achieve correct coverage. Also, the path adds the following library-independent checks:
- each string returned by this method is not empty;
- all returned strings are distinct.