1 // PR c++/53763 2 // { dg-do compile { target c++11 } } 3 4 template<typename TYPE> 5 struct A 6 { aA7 static int a(TYPE value) 8 { 9 return value; 10 } 11 }; 12 13 template<typename... ARGS> 14 struct B 15 { bB16 static int b(ARGS...) 17 { 18 return 0; 19 } 20 }; 21 main()22int main() 23 { 24 int x = B<decltype(A<int>::a(1))>::b(A<int>::a(1)); 25 int y = B<decltype(A ::a(2))>::b(A<int>::a(2)); // { dg-error "template" } 26 return x + y; 27 } 28