1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// { dg-options "-std=c++1z -fconcepts" } template<typename T> concept bool NameProvider() { return requires(){ typename T::_name_t::template _member_t<int>; }; } template<NameProvider... ColSpec> void getTable(const ColSpec&...) {} int f() { getTable(7, 'a'); // { dg-error "cannot call" } };