bloomberg/clang-p2996

Template splicers in Type constraints

Opened this issue · 0 comments

katzdm commented

It is not yet possible to use template splicers in type constraints, e.g.,

template <typename T>
concept Concept = requires { requires true; };

constexpr auto R = ^Concept;

template [:R:] auto V = 14;

template <[:R:] V> void fn() {}