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