cpp/experimental/ranges/concepts/Constructible

The concept specifies that a variable of type  can be initialized with the given set of argument types.

There need not be any subsumption relationship between and.