template<bool> struct Foo { }; int main() { Foo<void(Foo<true>::*)()>(); }
Standard input is empty
prog.cpp: In function 'int main()':
prog.cpp:8:26: error: type/value mismatch at argument 1 in template parameter list for 'template<bool <anonymous> > struct Foo'
Foo<void(Foo<true>::*)()>();
^
prog.cpp:8:26: error: expected a constant of type 'bool', got 'void (Foo<true>::*)()'
Standard output is empty