1*67e74705SXin Li @import cxx_templates_common; 2*67e74705SXin Li f()3*67e74705SXin Litemplate<typename T> T f() { return T(); } 4*67e74705SXin Li template<typename T> T f(T); 5*67e74705SXin Li namespace N { f()6*67e74705SXin Li template<typename T> T f() { return T(); } 7*67e74705SXin Li template<typename T> T f(T); 8*67e74705SXin Li } 9*67e74705SXin Li 10*67e74705SXin Li template<int N> int template_param_kinds_1(); 11*67e74705SXin Li template<template<typename T, int, int> class> int template_param_kinds_2(); 12*67e74705SXin Li template<template<typename T, typename U, T> class> int template_param_kinds_3(); 13*67e74705SXin Li 14*67e74705SXin Li template<typename T> struct SomeTemplate<T*>; 15*67e74705SXin Li template<typename T> struct SomeTemplate<T*> {}; 16*67e74705SXin Li typedef SomeTemplate<int*> SomeTemplateIntPtr; 17*67e74705SXin Li 18*67e74705SXin Li template<typename T> void PerformDelayedLookup(T &t) { 19*67e74705SXin Li t.f(); 20*67e74705SXin Li typename T::Inner inner; 21*67e74705SXin Li FoundByADL(t); 22*67e74705SXin Li } 23*67e74705SXin Li 24*67e74705SXin Li template<typename T> void PerformDelayedLookupInDefaultArgument(T &t, int a = (FoundByADL(T()), 0)) {} 25*67e74705SXin Li 26*67e74705SXin Li template<typename T> struct RedeclaredAsFriend {}; 27*67e74705SXin Li 28*67e74705SXin Li void use_some_template_a() { 29*67e74705SXin Li SomeTemplate<char[2]> a; 30*67e74705SXin Li SomeTemplate<char[1]> b, c; 31*67e74705SXin Li b = c; 32*67e74705SXin Li 33*67e74705SXin Li (void)&WithImplicitSpecialMembers<int>::n; 34*67e74705SXin Li } 35*67e74705SXin Li 36*67e74705SXin Li template<int> struct MergeTemplates; 37*67e74705SXin Li MergeTemplates<0> *merge_templates_a; 38*67e74705SXin Li 39*67e74705SXin Li auto enum_a_from_a = CommonTemplate<int>::a; 40*67e74705SXin Li const auto enum_c_from_a = CommonTemplate<int>::c; 41*67e74705SXin Li 42*67e74705SXin Li template<int> struct UseInt; 43*67e74705SXin Li template<typename T> void UseRedeclaredEnum(UseInt<T() + CommonTemplate<char>::a>); 44*67e74705SXin Li constexpr void (*UseRedeclaredEnumA)(UseInt<1>) = UseRedeclaredEnum<int>; 45*67e74705SXin Li 46*67e74705SXin Li template<typename> struct MergeSpecializations; 47*67e74705SXin Li template<typename T> struct MergeSpecializations<T*> { 48*67e74705SXin Li typedef int partially_specialized_in_a; 49*67e74705SXin Li }; 50*67e74705SXin Li template<> struct MergeSpecializations<char> { 51*67e74705SXin Li typedef int explicitly_specialized_in_a; 52*67e74705SXin Li }; 53*67e74705SXin Li 54*67e74705SXin Li void InstantiateWithFriend(Std::WithFriend<int> wfi) {} 55*67e74705SXin Li 56*67e74705SXin Li template<typename T> struct WithPartialSpecialization<T*> { 57*67e74705SXin Li typedef int type; 58*67e74705SXin Li T &f() { static T t; return t; } 59*67e74705SXin Li }; 60*67e74705SXin Li typedef WithPartialSpecializationUse::type WithPartialSpecializationInstantiate; 61*67e74705SXin Li typedef WithPartialSpecialization<void(int)>::type WithPartialSpecializationInstantiate2; 62*67e74705SXin Li 63*67e74705SXin Li template<> struct WithExplicitSpecialization<int> { 64*67e74705SXin Li int n; 65*67e74705SXin Li template<typename T> T &inner_template() { 66*67e74705SXin Li return n; 67*67e74705SXin Li } 68*67e74705SXin Li }; 69*67e74705SXin Li 70*67e74705SXin Li template<typename T> template<typename U> 71*67e74705SXin Li constexpr int Outer<T>::Inner<U>::f() { return 1; } 72*67e74705SXin Li static_assert(Outer<int>::Inner<int>::f() == 1, ""); 73*67e74705SXin Li 74*67e74705SXin Li template<typename T> struct MergeTemplateDefinitions { 75*67e74705SXin Li static constexpr int f(); 76*67e74705SXin Li static constexpr int g(); 77*67e74705SXin Li }; 78*67e74705SXin Li template<typename T> constexpr int MergeTemplateDefinitions<T>::f() { return 1; } 79*67e74705SXin Li 80*67e74705SXin Li template<typename T> using AliasTemplate = T; 81*67e74705SXin Li 82*67e74705SXin Li template<typename T> struct PartiallyInstantiatePartialSpec {}; 83*67e74705SXin Li template<typename T> struct PartiallyInstantiatePartialSpec<T*> { 84*67e74705SXin Li static T *foo() { return reinterpret_cast<T*>(0); } 85*67e74705SXin Li static T *bar() { return reinterpret_cast<T*>(0); } 86*67e74705SXin Li }; 87*67e74705SXin Li typedef PartiallyInstantiatePartialSpec<int*> PartiallyInstantiatePartialSpecHelper; 88*67e74705SXin Li 89*67e74705SXin Li void InstantiateWithAliasTemplate(WithAliasTemplate<int>::X<char>); 90*67e74705SXin Li inline int InstantiateWithAnonymousDeclsA(WithAnonymousDecls<int> x) { return (x.k ? x.a : x.b) + (x.k ? x.s.c : x.s.d) + x.e; } 91*67e74705SXin Li inline int InstantiateWithAnonymousDeclsB2(WithAnonymousDecls<char> x); 92*67e74705SXin Li 93*67e74705SXin Li 94*67e74705SXin Li template<typename T1 = int> 95*67e74705SXin Li struct MergeAnonUnionMember { 96*67e74705SXin Li MergeAnonUnionMember() { (void)values.t1; } 97*67e74705SXin Li union { int t1; } values; 98*67e74705SXin Li }; 99*67e74705SXin Li inline MergeAnonUnionMember<> maum_a() { return {}; } 100*67e74705SXin Li 101*67e74705SXin Li template<typename T> struct DontWalkPreviousDeclAfterMerging { struct Inner { typedef T type; }; }; 102*67e74705SXin Li 103*67e74705SXin Li namespace TestInjectedClassName { 104*67e74705SXin Li template<typename T> struct X { X(); }; 105*67e74705SXin Li typedef X<char[1]> A; 106*67e74705SXin Li } 107