If I understand correctly, among all standard library classes, only allocator_arg_t,  default_sentinel_t, nullopt_t, and piecewise_construct_t are required to be empty in the currently standard wording. But perhaps there should be more, and it's also a bit surprising that empty_view specializations are not yet required to be empty.

Is the status quo intended?

Thanks,

F.v.S.