clang/test/SemaTemplate/rdar9173693.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 template< bool C > struct assert { };
   4 template< bool > struct assert_arg_pred_impl { }; // expected-note 2 {{declared here}}
   5 template< typename Pred > assert<false> assert_not_arg( void (*)(Pred), typename assert_arg_pred<Pred>::type );
   6 // expected-error@-1 {{did you mean 'assert_arg_pred_impl'}}
   7 // expected-error@-2 {{template argument for non-type template parameter must be an expression}}