dbd82f33b5
This clears up the printing of a NestedNameSpecifier so a trailing '::' is not printed, unless it refers into the global scope. This fixes a bunch of diagnostics where the trailing :: was awkward. This also prints the NNS quoted consistenty. There is a drive-by improvement to error recovery, where now we print the actual type instead of `<dependent type>`. This will clear up further uses of NNS printing in further patches.
34 lines
1.3 KiB
C++
34 lines
1.3 KiB
C++
// RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
|
template<typename T>
|
|
struct test {
|
|
template<typename> using fun_diff = char; // expected-note 2{{type alias template declared here}}
|
|
};
|
|
|
|
template<typename T, typename V>
|
|
decltype(T::template fun_diff<V>) foo1() {}
|
|
// expected-note@-1 {{candidate template ignored: substitution failure [with T = test<int>, V = int]: 'test<int>::template fun_diff' is expected to be a non-type template, but instantiated to a type alias template}}
|
|
|
|
template<typename T>
|
|
void foo2() {
|
|
// expected-error@+1 {{test<int>::template fun_diff' is expected to be a non-type template, but instantiated to a type alias template}}
|
|
int a = test<T>::template fun_diff<int>;
|
|
}
|
|
|
|
template<typename T, typename V>
|
|
struct has_fun_diff {
|
|
using type = double;
|
|
};
|
|
|
|
template<typename T>
|
|
struct has_fun_diff<T, int> {
|
|
// expected-error@+1 {{'test<int>::template fun_diff' is expected to be a non-type template, but instantiated to a type alias template}}
|
|
using type = decltype(T::template fun_diff<int>);
|
|
};
|
|
|
|
void bar() {
|
|
foo1<test<int>, int>(); // expected-error {{no matching function for call to 'foo1'}}
|
|
foo2<int>(); // expected-note {{in instantiation of function template specialization}}
|
|
has_fun_diff<test<int>, int>::type a; // expected-note {{in instantiation of template class}}
|
|
}
|