search

bloomberg / clang-p2996

Experimental clang support for WG21 P2996 (Reflection).
https://github.com/bloomberg/clang-p2996/tree/p2996/P2996.md
51 stars 8 forks source link

Template splicers in Type constraints #32

Open katzdm opened 5 months ago

katzdm commented 5 months ago

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() {}