reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55
   56
   57
   58
   59
   60
   61
   62
   63
   64
   65
   66
   67
   68
   69
   70
   71
   72
   73
   74
   75
   76
   77
   78
   79
   80
   81
   82
   83
   84
   85
   86
   87
   88
   89
   90
   91
   92
   93
   94
   95
@import cxx_templates_common;

template<typename T> T f();
template<typename T> T f(T t) { return t; }
namespace N {
  template<typename T> T f();
  template<typename T> T f(T t) { return t; }
}

template<typename> int template_param_kinds_1();
template<template<typename, int, int...> class> int template_param_kinds_2();
template<template<typename T, typename U, U> class> int template_param_kinds_3();

template<typename T> struct SomeTemplate<T&> {};
template<typename T> struct SomeTemplate<T&>;
typedef SomeTemplate<int&> SomeTemplateIntRef;

extern DefinedInCommon &defined_in_common;

template<int> struct MergeTemplates;
MergeTemplates<0> *merge_templates_b;

template<typename T> template<typename U>
constexpr int Outer<T>::Inner<U>::g() { return 2; }
static_assert(Outer<int>::Inner<int>::g() == 2, "");

namespace TestInjectedClassName {
  template<typename T> struct X { X(); };
  typedef X<char[2]> B;
}

@import cxx_templates_b_impl;

template<typename T, typename> struct Identity { typedef T type; };
template<typename T> void UseDefinedInBImpl() {
  typename Identity<DefinedInBImpl, T>::type dependent;
  FoundByADL(dependent);
  typename Identity<DefinedInBImpl, T>::type::Inner inner;
  dependent.f();
}

extern DefinedInBImpl &defined_in_b_impl;

template<typename T>
struct RedeclareTemplateAsFriend {
  template<typename U>
  friend struct RedeclaredAsFriend;
};

void use_some_template_b() {
  SomeTemplate<char[1]> a;
  SomeTemplate<char[2]> b, c;
  b = c;

  WithImplicitSpecialMembers<int> wism1, wism2(wism1);
}

auto enum_b_from_b = CommonTemplate<int>::b;
const auto enum_c_from_b = CommonTemplate<int>::c;

template<int> struct UseInt;
template<typename T> void UseRedeclaredEnum(UseInt<T() + CommonTemplate<char>::a>);
constexpr void (*UseRedeclaredEnumB)(UseInt<1>) = UseRedeclaredEnum<int>;

typedef WithPartialSpecialization<void(int)>::type WithPartialSpecializationInstantiate3;

template<typename> struct MergeSpecializations;
template<typename T> struct MergeSpecializations<T&> {
  typedef int partially_specialized_in_b;
};
template<> struct MergeSpecializations<double> {
  typedef int explicitly_specialized_in_b;
};

template<typename U> using AliasTemplate = U;

void InstantiateWithAliasTemplate(WithAliasTemplate<int>::X<char>);
inline int InstantiateWithAnonymousDeclsB(WithAnonymousDecls<int> x) {
  return (x.k ? x.a : x.b) + (x.k ? x.s.c : x.s.d) + x.e;
}
inline int InstantiateWithAnonymousDeclsB2(WithAnonymousDecls<char> x) {
  return (x.k ? x.a : x.b) + (x.k ? x.s.c : x.s.d) + x.e;
}

@import cxx_templates_a;
template<typename T> void UseDefinedInBImplIndirectly(T &v) {
  PerformDelayedLookup(v);
}

void TriggerInstantiation() {
  UseDefinedInBImpl<void>();
  Std::f<int>();
  PartiallyInstantiatePartialSpec<int*>::foo();
  WithPartialSpecialization<void(int)>::type x;
}