7 Concepts library [concepts.lib]

7.3 Core language concepts [concepts.lib.corelang]

7.3.13 Concept Constructible [concepts.lib.corelang.constructible]

The Constructible concept constrains the initialization of a variable of a type with a given set of argument types.

template <class T, class... Args> concept bool Constructible = Destructible<T> && is_constructible<T, Args...>::value; // see below

There need not be any subsumption relationship between Constructible<T, Args...> and is_constructible<T, Args...>::value.