1 // { dg-do compile } 2 3 // Origin: Richard Guenther <rguenth@tat.physik.uni-tuebingen.de> 4 5 // PR c++/12924 6 7 template<typename> struct A {}; 8 9 template<> struct A<void> 10 { 11 template<typename T> void foo() 12 { 13 A<T> a; 14 a.template foo<int>(); // { dg-error "member" } 15 } 16 }; 17 18 void bar() 19 { 20 A<void> a; 21 a.foo<int>(); // { dg-message "required" } 22 } 23