18 Concepts library [concepts]

18.4 Language-related concepts [concepts.lang]

18.4.14 Concept copy_­constructible [concept.copyconstructible]

template<class T> concept copy_­constructible = move_­constructible<T> && constructible_­from<T, T&> && convertible_­to<T&, T> && constructible_­from<T, const T&> && convertible_­to<const T&, T> && constructible_­from<T, const T> && convertible_­to<const T, T>;
If T is an object type, then let v be an lvalue of type (possibly const) T or an rvalue of type const T.
T models copy_­constructible only if