| // PR c++/86932 | |
| // { dg-do compile { target c++11 } } | |
| template<bool, typename T> struct enable_if { using type = T; }; | |
| template<typename T> struct enable_if<false, T> { }; | |
| template<typename> struct is_foo { static constexpr bool value = false; }; | |
| // { dg-error "enable_if" "" { target *-*-* } .+1 } | |
| template<class U, typename enable_if<is_foo<U>::value, int>::type...> void f() {} | |
| int main() | |
| { | |
| f<int>(); // { dg-error "no match" } | |
| } |