CopyConstructible
Copy constructible types must be able to be constructed from another member of the type.
x
y
Copy construction
X(x)
X
Require copy constructor.