diff --git a/libcxx/include/concepts b/libcxx/include/concepts
--- a/libcxx/include/concepts
+++ b/libcxx/include/concepts
@@ -334,6 +334,14 @@
   assignable_from<_Tp&, _Tp> &&
   swappable<_Tp>;
 
+template<class _Tp>
+concept copyable =
+  copy_constructible<_Tp> &&
+  movable<_Tp> &&
+  assignable_from<_Tp&, _Tp&> &&
+  assignable_from<_Tp&, const _Tp&> &&
+  assignable_from<_Tp&, const _Tp>;
+
 // [concept.invocable]
 template<class _Fn, class... _Args>
 concept invocable = requires(_Fn&& __fn, _Args&&... __args) {
diff --git a/libcxx/test/std/concepts/object/copyable.compile.pass.cpp b/libcxx/test/std/concepts/object/copyable.compile.pass.cpp
new file mode 100644
--- /dev/null
+++ b/libcxx/test/std/concepts/object/copyable.compile.pass.cpp
@@ -0,0 +1,172 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// UNSUPPORTED: c++03, c++11, c++14, c++17
+// UNSUPPORTED: libcpp-no-concepts
+
+// template<class From>
+// concept copyable = see below;
+
+#include <concepts>
+
+#include <deque>
+#include <forward_list>
+#include <list>
+#include <map>
+#include <memory>
+#include <optional>
+#include <unordered_map>
+#include <vector>
+
+static_assert(std::copyable<int>);
+static_assert(std::copyable<int volatile>);
+static_assert(std::copyable<int*>);
+static_assert(std::copyable<int const*>);
+static_assert(std::copyable<int volatile*>);
+static_assert(std::copyable<int volatile const*>);
+static_assert(std::copyable<int (*)()>);
+
+struct S {};
+static_assert(std::copyable<S>);
+static_assert(std::copyable<int S::*>);
+static_assert(std::copyable<int (S::*)()>);
+static_assert(std::copyable<int (S::*)() noexcept>);
+static_assert(std::copyable<int (S::*)() &>);
+static_assert(std::copyable<int (S::*)() & noexcept>);
+static_assert(std::copyable<int (S::*)() &&>);
+static_assert(std::copyable<int (S::*)() && noexcept>);
+static_assert(std::copyable<int (S::*)() const>);
+static_assert(std::copyable<int (S::*)() const noexcept>);
+static_assert(std::copyable<int (S::*)() const&>);
+static_assert(std::copyable<int (S::*)() const & noexcept>);
+static_assert(std::copyable<int (S::*)() const&&>);
+static_assert(std::copyable<int (S::*)() const && noexcept>);
+static_assert(std::copyable<int (S::*)() volatile>);
+static_assert(std::copyable<int (S::*)() volatile noexcept>);
+static_assert(std::copyable<int (S::*)() volatile&>);
+static_assert(std::copyable<int (S::*)() volatile & noexcept>);
+static_assert(std::copyable<int (S::*)() volatile&&>);
+static_assert(std::copyable<int (S::*)() volatile && noexcept>);
+static_assert(std::copyable<int (S::*)() const volatile>);
+static_assert(std::copyable<int (S::*)() const volatile noexcept>);
+static_assert(std::copyable<int (S::*)() const volatile&>);
+static_assert(std::copyable<int (S::*)() const volatile & noexcept>);
+static_assert(std::copyable<int (S::*)() const volatile&&>);
+static_assert(std::copyable<int (S::*)() const volatile && noexcept>);
+
+static_assert(std::copyable<std::vector<int> >);
+static_assert(
+    std::copyable<
+        std::vector<std::unique_ptr<int> > >); // IFNDR: doesn't model copyable
+static_assert(std::copyable<std::deque<int> >);
+static_assert(std::copyable<std::forward_list<int> >);
+static_assert(std::copyable<std::list<int> >);
+static_assert(
+    std::copyable<
+        std::map<std::unique_ptr<int>,
+                 std::unique_ptr<int> > >); // IFNDR: doesn't model copyable
+static_assert(std::copyable<std::shared_ptr<std::unique_ptr<int> > >);
+static_assert(std::copyable<std::optional<std::vector<int> > >);
+static_assert(std::copyable<std::unordered_map<
+                  std::unique_ptr<int>,
+                  std::unique_ptr<int> > >); // IFNDR: doesn't model copyable
+static_assert(std::copyable<std::vector<int> >);
+static_assert(std::copyable<std::vector<std::unique_ptr<int> > >);
+
+// Not objects
+static_assert(!std::copyable<void>);
+static_assert(!std::copyable<int&>);
+static_assert(!std::copyable<int const&>);
+static_assert(!std::copyable<int volatile&>);
+static_assert(!std::copyable<int const volatile&>);
+static_assert(!std::copyable<int&&>);
+static_assert(!std::copyable<int const&&>);
+static_assert(!std::copyable<int volatile&&>);
+static_assert(!std::copyable<int const volatile&&>);
+static_assert(!std::copyable<int()>);
+static_assert(!std::copyable<int (&)()>);
+static_assert(!std::copyable<int[5]>);
+
+// Not copy constructible or copy assignable
+static_assert(!std::copyable<std::unique_ptr<int> >);
+
+// Not assignable
+static_assert(!std::copyable<int const>);
+static_assert(!std::copyable<int const volatile>);
+
+struct no_copy_constructor {
+  no_copy_constructor(no_copy_constructor const&) = delete;
+  no_copy_constructor(no_copy_constructor&&) = default;
+};
+static_assert(!std::copyable<no_copy_constructor>);
+
+struct no_copy_assignment {
+  no_copy_assignment& operator=(no_copy_assignment const&) = delete;
+  no_copy_assignment& operator=(no_copy_assignment&&) = default;
+};
+static_assert(!std::copyable<no_copy_assignment>);
+
+struct no_copy_assignment_mutable {
+  no_copy_assignment_mutable&
+  operator=(no_copy_assignment_mutable const&) = default;
+  no_copy_assignment_mutable& operator=(no_copy_assignment_mutable&) = delete;
+  no_copy_assignment_mutable& operator=(no_copy_assignment_mutable&&) = default;
+};
+static_assert(std::is_copy_assignable_v<no_copy_assignment_mutable>);
+static_assert(!std::copyable<no_copy_assignment_mutable>);
+
+struct no_const_value_assignment {
+  no_const_value_assignment&
+  operator=(no_const_value_assignment const) = delete;
+};
+static_assert(!std::copyable<no_const_value_assignment>);
+
+struct derived_from_noncopyable : std::unique_ptr<int> {};
+static_assert(!std::copyable<derived_from_noncopyable>);
+
+struct has_noncopyable {
+  std::unique_ptr<int> x;
+};
+static_assert(!std::copyable<has_noncopyable>);
+
+struct has_const_member {
+  int const x;
+};
+static_assert(!std::copyable<has_const_member>);
+
+struct has_volatile_member {
+  int volatile x;
+};
+static_assert(std::copyable<has_volatile_member>);
+
+struct has_cv_member {
+  int const volatile x;
+};
+static_assert(!std::copyable<has_cv_member>);
+
+struct has_lvalue_reference_member {
+  int& x;
+};
+static_assert(!std::copyable<has_lvalue_reference_member>);
+
+struct has_rvalue_reference_member {
+  int&& x;
+};
+static_assert(!std::copyable<has_rvalue_reference_member>);
+
+struct has_array_member {
+  int x[5];
+};
+static_assert(std::copyable<has_array_member>);
+
+struct has_function_ref_member {
+  int (&f)();
+};
+static_assert(!std::copyable<has_function_ref_member>);
+
+int main(int, char**) { return 0; }