96 lines · c
1@import cxx_templates_common;2 3template<typename T> T f();4template<typename T> T f(T t) { return t; }5namespace N {6 template<typename T> T f();7 template<typename T> T f(T t) { return t; }8}9 10template<typename> int template_param_kinds_1();11template<template<typename, int, int...> class> int template_param_kinds_2();12template<template<typename T, typename U, U> class> int template_param_kinds_3();13 14template<typename T> struct SomeTemplate<T&> {};15template<typename T> struct SomeTemplate<T&>;16typedef SomeTemplate<int&> SomeTemplateIntRef;17 18extern DefinedInCommon &defined_in_common;19 20template<int> struct MergeTemplates;21MergeTemplates<0> *merge_templates_b;22 23template<typename T> template<typename U>24constexpr int Outer<T>::Inner<U>::g() { return 2; }25static_assert(Outer<int>::Inner<int>::g() == 2, "");26 27namespace TestInjectedClassName {28 template<typename T> struct X { X(); };29 typedef X<char[2]> B;30}31 32@import cxx_templates_b_impl;33 34template<typename T, typename> struct Identity { typedef T type; };35template<typename T> void UseDefinedInBImpl() {36 typename Identity<DefinedInBImpl, T>::type dependent;37 FoundByADL(dependent);38 typename Identity<DefinedInBImpl, T>::type::Inner inner;39 dependent.f();40}41 42extern DefinedInBImpl &defined_in_b_impl;43 44template<typename T>45struct RedeclareTemplateAsFriend {46 template<typename U>47 friend struct RedeclaredAsFriend;48};49 50void use_some_template_b() {51 SomeTemplate<char[1]> a;52 SomeTemplate<char[2]> b, c;53 b = c;54 55 WithImplicitSpecialMembers<int> wism1, wism2(wism1);56}57 58auto enum_b_from_b = CommonTemplate<int>::b;59const auto enum_c_from_b = CommonTemplate<int>::c;60 61template<int> struct UseInt;62template<typename T> void UseRedeclaredEnum(UseInt<T() + CommonTemplate<char>::a>);63constexpr void (*UseRedeclaredEnumB)(UseInt<1>) = UseRedeclaredEnum<int>;64 65typedef WithPartialSpecialization<void(int)>::type WithPartialSpecializationInstantiate3;66 67template<typename> struct MergeSpecializations;68template<typename T> struct MergeSpecializations<T&> {69 typedef int partially_specialized_in_b;70};71template<> struct MergeSpecializations<double> {72 typedef int explicitly_specialized_in_b;73};74 75template<typename U> using AliasTemplate = U;76 77void InstantiateWithAliasTemplate(WithAliasTemplate<int>::X<char>);78inline int InstantiateWithAnonymousDeclsB(WithAnonymousDecls<int> x) {79 return (x.k ? x.a : x.b) + (x.k ? x.s.c : x.s.d) + x.e;80}81inline int InstantiateWithAnonymousDeclsB2(WithAnonymousDecls<char> x) {82 return (x.k ? x.a : x.b) + (x.k ? x.s.c : x.s.d) + x.e;83}84 85@import cxx_templates_a;86template<typename T> void UseDefinedInBImplIndirectly(T &v) {87 PerformDelayedLookup(v);88}89 90void TriggerInstantiation() {91 UseDefinedInBImpl<void>();92 Std::f<int>();93 PartiallyInstantiatePartialSpec<int*>::foo();94 WithPartialSpecialization<void(int)>::type x;95}96