gcc/testsuite/g++.dg/template/error45.C

   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" }