1 // PR c++/47125 2 3 template < bool, typename > 4 struct enable_if {}; 5 6 template < typename T > 7 struct enable_if< true, T > 8 { 9 typedef T type; 10 }; 11 12 template < typename T > 13 struct enable_if< true, T >::type 14 f( T x ); // { dg-error "not a class type" } 15 16 void 17 g( void ) 18 { 19 f< int >( 0 ); // { dg-error "no match" } 20 } 21 22 // { dg-prune-output "note" } 23