This is a type specifically designed to overload a specific pair constructor.
It is an empty class defined in header <utility>. This header also defines the standard constant piecewise_construct, which is a value of this type specifically designed to call the overloaded constructor.