All placeholder types shall be DefaultConstructible and
CopyConstructible, and their default constructors and copy/move
constructors shall not throw exceptions.
It is implementation-defined whether
placeholder types are CopyAssignable.
CopyAssignable placeholders' copy
assignment operators shall not throw exceptions.