I know that SG8 is hard at work on the current Concepts TS, but are there any long-term plans for it to look into whether or not it might be advantageous and/or feasible to find some intuitive way to improve C++’s support for
run-time concepts? Right now, one
can, as I understand it, implement them in terms of type erasure, but wouldn’t it be rather neat if a C++ programmer could explicitly specify that such a type-erasing wrapper template `struct` or class is a run-time concept in the language itself? On the other hand, might any of the pre-existing and/or current work on concepts already address this concern? Either way, I think such functionality might be at least somewhat useful for SG7 and, consequently, also for SG14, both of which I have CCed this message to.