diff options
author | John McCall <rjmccall@apple.com> | 2010-08-05 09:05:08 +0000 |
---|---|---|
committer | John McCall <rjmccall@apple.com> | 2010-08-05 09:05:08 +0000 |
commit | 57e97786433e70197a089360228d8f0d82e3ad4c (patch) | |
tree | c1b4935e0103c3ae93ec16724b6119346a00770b /test/SemaTemplate/deduction.cpp | |
parent | f5072afdfd5c2a45fd2adf3659b0696bc8c57717 (diff) |
TDK_InconsistentQuals is really totally different from TDK_Inconsistent.
Rename it to TDK_Underqualified to avoid this sort of confusion and give it
its own diagnostic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110318 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/SemaTemplate/deduction.cpp')
-rw-r--r-- | test/SemaTemplate/deduction.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/SemaTemplate/deduction.cpp b/test/SemaTemplate/deduction.cpp index e8ff8d3a6d..0dfb8d6b2c 100644 --- a/test/SemaTemplate/deduction.cpp +++ b/test/SemaTemplate/deduction.cpp @@ -105,3 +105,11 @@ namespace PR7463 { template <typename T_> void g (T_&); // expected-note{{T_ = int}} void h (void) { g(f()); } // expected-error{{no matching function for call}} } + +namespace test0 { + template <class T> void make(const T *(*fn)()); // expected-note {{candidate template ignored: can't deduce a type for 'T' which would make 'T const' equal 'char'}} + char *char_maker(); + void test() { + make(char_maker); // expected-error {{no matching function for call to 'make'}} + } +} |