annotate clang/test/SemaTemplate/rdar9173693.cpp @ 222:81f6424ef0e3 llvm-original

LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 // <rdar://problem/9173693>
anatofuz
parents:
diff changeset
4 template< bool C > struct assert { };
anatofuz
parents:
diff changeset
5 template< bool > struct assert_arg_pred_impl { }; // expected-note 2 {{declared here}}
anatofuz
parents:
diff changeset
6 template< typename Pred > assert<false> assert_not_arg( void (*)(Pred), typename assert_arg_pred<Pred>::type );
anatofuz
parents:
diff changeset
7 // expected-error@-1 {{did you mean 'assert_arg_pred_impl'}}
anatofuz
parents:
diff changeset
8 // expected-error@-2 {{template argument for non-type template parameter must be an expression}}