1 // PR c++/86932
2 // { dg-do compile { target c++11 } }
3 
4 template<bool, typename T> struct enable_if { using type = T; };
5 template<typename T> struct enable_if<false, T> { };
6 
7 template<typename> struct is_foo { static constexpr bool value = false; };
8 
9 // { dg-error "enable_if" "" { target *-*-* } .+1 }
10 template<class U, typename enable_if<is_foo<U>::value, int>::type...> void f() {}
11 
12 int main()
13 {
14   f<int>();			// { dg-error "no match" }
15 }
16