2195ec9ad4
When looking for the template instantiation pattern of a templated entity, consistently select the definition of the pattern if there is one. This means we'll pick the same owning module when we start instantiating a template that we'll later pick when determining which modules are visible during that instantiation. This reinstates r300650, reverted in r300659, with a fix for a regression reported by Chandler after commit. llvm-svn: 300938
30 lines
880 B
C++
30 lines
880 B
C++
BEGIN
|
|
template<typename T = int> struct A {};
|
|
template<typename T> struct B {};
|
|
template<typename T> struct C;
|
|
template<typename T> struct D;
|
|
template<typename T> struct E;
|
|
template<typename T = int> struct G;
|
|
template<typename T = int> struct H;
|
|
template<typename T> struct J {};
|
|
template<typename T = int> struct J;
|
|
struct K : J<> {};
|
|
template<typename T = void> struct L;
|
|
struct FriendL {
|
|
template<typename T> friend struct L;
|
|
};
|
|
END
|
|
|
|
namespace DeferredLookup {
|
|
template<typename T, typename U = T> using X = U;
|
|
template<typename T> void f() { (void) X<T>(); }
|
|
template<typename T> int n = X<T>();
|
|
template<typename T> struct S { X<T> xt; enum E : int; };
|
|
template<typename T> enum S<T>::E : int { a = X<T>() };
|
|
|
|
namespace Indirect {
|
|
template<typename, bool = true> struct A {};
|
|
template<typename> struct B { template<typename T> using C = A<T>; };
|
|
}
|
|
}
|