1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -fsyntax-only -verify %s 2*f4a2713aSLionel Sambuc 3*f4a2713aSLionel Sambuc // <rdar://problem/9173693> 4*f4a2713aSLionel Sambuc template< bool C > struct assert { }; 5*f4a2713aSLionel Sambuc template< bool > struct assert_arg_pred_impl { }; // expected-note 3 {{declared here}} 6*f4a2713aSLionel Sambuc template< typename Pred > assert<false> assert_not_arg( void (*)(Pred), typename assert_arg_pred<Pred>::type ); // expected-error 5 {{}} 7