diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/template/sfinae6_neg.C')
-rw-r--r-- | gcc/testsuite/g++.dg/template/sfinae6_neg.C | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/testsuite/g++.dg/template/sfinae6_neg.C b/gcc/testsuite/g++.dg/template/sfinae6_neg.C index d4be5dd03f..6ed3d22678 100644 --- a/gcc/testsuite/g++.dg/template/sfinae6_neg.C +++ b/gcc/testsuite/g++.dg/template/sfinae6_neg.C @@ -14,16 +14,16 @@ template<typename T> struct enable_if<false, T> { }; template<typename F, typename T1, typename T2> typename enable_if<sizeof(create_a<F>()(create_a<T1>(), create_a<T2>()), 1), yes_type>::type - check_is_callable2(type<F>, type<T1>, type<T2>); // { dg-error "within this context" "" { target c++11 } } + check_is_callable2(type<F>, type<T1>, type<T2>); no_type check_is_callable2(...); template<typename F, typename T1, typename T2 = T1> struct is_callable2 { - static const bool value = + static const bool value = (sizeof(check_is_callable2(type<F>(), type<T1>(), type<T2>())) - == sizeof(yes_type)); // { dg-error "within this context" } + == sizeof(yes_type)); }; #define JOIN( X, Y ) DO_JOIN( X, Y ) @@ -52,7 +52,7 @@ struct F { void operator()(A, A); private: - void operator()(B, B); // { dg-error "is private" } + void operator()(B, B); }; -STATIC_ASSERT((is_callable2<F, B, B>::value)); +STATIC_ASSERT((!is_callable2<F, B, B>::value)); |