Index: libcxx/include/concepts
===================================================================
--- libcxx/include/concepts
+++ libcxx/include/concepts
@@ -162,6 +162,11 @@
 template<class _Tp>
 concept destructible = _VSTD::is_nothrow_destructible_v<_Tp>;
 
+// [concept.constructible]
+template<class _Tp, class... _Args>
+concept constructible_from =
+    destructible<_Tp> && _VSTD::is_constructible_v<_Tp, _Args...>;
+
 #endif //_LIBCPP_STD_VER > 17 && defined(__cpp_concepts) && __cpp_concepts >= 201811L
 
 _LIBCPP_END_NAMESPACE_STD
Index: libcxx/test/std/concepts/concept.constructible/constructible_from.compile.pass.cpp
===================================================================
--- /dev/null
+++ libcxx/test/std/concepts/concept.constructible/constructible_from.compile.pass.cpp
@@ -0,0 +1,85 @@
+//===----------------------------------------------------------------------===//
+//
+// 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 T, class... Args>
+// concept constructible_from;
+//    destructible<T> && is_constructible_v<T, Args...>;
+
+#include <array>
+#include <concepts>
+#include <memory>
+#include <string>
+#include <type_traits>
+
+struct Empty{};
+
+struct Defaulted{ ~Defaulted() = default; };
+struct Deleted{ ~Deleted() = delete; };
+
+struct Noexcept{ ~Noexcept() noexcept; };
+struct NoexceptTrue{ ~NoexceptTrue() noexcept(true); };
+struct NoexceptFalse{ ~NoexceptFalse() noexcept(false); };
+
+// Since C++17 dynamic exception specifications are no longer
+// part of the standard.
+struct Throw{ ~Throw() throw(); };
+
+struct Protected { protected: ~Protected() = default; };
+struct Private { private: ~Private() = default; };
+
+template<class T>
+struct NoexceptDependant {
+    ~NoexceptDependant() noexcept(std::is_same_v<T, int>);
+};
+
+template <class T, class... Args>
+void test() {
+    static_assert(
+        std::constructible_from<T, Args...> ==
+        (std::destructible<T> && std::is_constructible_v<T, Args...>));
+}
+
+void test()
+{
+    test<Empty>();
+
+    test<Defaulted>();
+    test<Deleted>();
+
+    test<NoexceptTrue>();
+    test<NoexceptFalse>();
+    test<Noexcept>();
+
+    test<Throw>();
+
+    test<Protected>();
+    test<Private>();
+
+    test<NoexceptDependant<int>>();
+    test<NoexceptDependant<double>>();
+
+    test<int>();
+    test<int, int>();
+    test<int, int, int>();
+
+    test<std::string, char*>();
+    test<std::string, const char*>();
+    test<std::string, std::string&>();
+    test<std::string, std::initializer_list<char>>();
+
+    test<std::unique_ptr<int>, std::unique_ptr<int>>();
+    test<std::unique_ptr<int>, std::unique_ptr<int>&>();
+    test<std::unique_ptr<int>, std::unique_ptr<int>&&>();
+
+    test<std::array<int, 1>>();
+    test<std::array<int, 1>, int>();
+    test<std::array<int, 1>, int, int>();
+}