I think it just causes the type loophole_t<std::string, 0> to be defined (and thus the loophole friend function).