Jean-Baptiste Vallon Hoarau wrote:
> Could you clarify what you mean by this? What does this proposal do that
> P2320 proposal cannot?

The main thing that was missing from P2320's current implementation
(last I checked) was range splicing. E.g. the ability to create a std::tuple<T...>
from a vector<meta::info> containing the reflections of the types T... .

Matus's implementation allows this by means of unpack_sequence, which
is enough for things like Boost.Describe to be implemented on top of it.

(Which then gives you all the examples you asked for, for free; although of
course it's possible to (re)implement these using Matus's primitives directly.)