1 // PR c++/56059
2 // { dg-do compile { target c++11 } }
3 
4 typedef int Int;
5 template<typename T> struct baz { };
6 template<typename T> T bar();
7 
8 template<typename T, typename ... U>
9 baz<decltype(bar<Int>(bar<U>() ...))> // { dg-error "" }
10 foo();
11 
main()12 int main()
13 {
14   foo<int, int>();		// { dg-error "no match" }
15   return 0;
16 }
17