1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
// PR c++/79508 struct C { template< void(*F)()> void set_default() { } }; template <class T> void random_positive() { } template<class T> void initialize(T& x) { x.template set_default<random_positive<T> >(); } int main () { C x; initialize<C>(x); }