blob: d763c8040ba3d1e81118b6be68ecce76039da270 [file] [log] [blame]
Richard Smith5de91b52013-06-25 01:25:15 +00001@import cxx_templates_common;
2
Richard Smith8f8f05c2013-06-24 04:45:28 +00003template<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}
Richard Smithbf78e642013-06-24 22:51:00 +00009
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();
Richard Smith5de91b52013-06-25 01:25:15 +000013
14template<typename T> struct SomeTemplate<T&> {};
15template<typename T> struct SomeTemplate<T&>;
16typedef SomeTemplate<int&> SomeTemplateIntRef;
Richard Smith0e5d7b82013-07-25 23:08:39 +000017
18extern DefinedInCommon &defined_in_common;
19
Richard Smithd46d6de2013-10-13 23:50:45 +000020template<int> struct MergeTemplates;
21MergeTemplates<0> *merge_templates_b;
22
Richard Smithdc5523d2014-07-11 00:20:06 +000023template<typename T> template<typename U>
24constexpr int Outer<T>::Inner<U>::g() { return 2; }
25static_assert(Outer<int>::Inner<int>::g() == 2, "");
26
Richard Smith6377f8f2014-10-21 21:15:18 +000027namespace TestInjectedClassName {
28 template<typename T> struct X { X(); };
29 typedef X<char[2]> B;
30}
31
Richard Smith0e5d7b82013-07-25 23:08:39 +000032@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
Richard Smith7ecc31b2013-08-02 01:09:12 +000044template<typename T>
45struct RedeclareTemplateAsFriend {
46 template<typename U>
47 friend struct RedeclaredAsFriend;
48};
49
Richard Smithd55889a2013-09-09 16:55:27 +000050void use_some_template_b() {
51 SomeTemplate<char[1]> a;
52 SomeTemplate<char[2]> b, c;
53 b = c;
Richard Smith8c913ec2014-08-14 02:21:01 +000054
55 WithImplicitSpecialMembers<int> wism1, wism2(wism1);
Richard Smithd55889a2013-09-09 16:55:27 +000056}
57
Richard Smith01a73372013-10-15 22:02:41 +000058auto 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
Richard Smith72544f82014-08-14 03:30:27 +000065typedef WithPartialSpecialization<void(int)>::type WithPartialSpecializationInstantiate3;
66
Richard Smith0c1065f2013-10-15 23:19:58 +000067template<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
Richard Smithf59b7352014-07-28 21:16:37 +000075template<typename U> using AliasTemplate = U;
76
Richard Smith43ccec8e2014-08-26 03:52:16 +000077void InstantiateWithAliasTemplate(WithAliasTemplate<int>::X<char>);
Richard Smithd08aeb62014-08-28 01:33:39 +000078inline int InstantiateWithAnonymousDeclsB(WithAnonymousDecls<int> x) {
Richard Smith01bdb7a2014-08-28 05:44:07 +000079 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;
Richard Smithd08aeb62014-08-28 01:33:39 +000083}
Richard Smith43ccec8e2014-08-26 03:52:16 +000084
Richard Smith0e5d7b82013-07-25 23:08:39 +000085@import cxx_templates_a;
86template<typename T> void UseDefinedInBImplIndirectly(T &v) {
87 PerformDelayedLookup(v);
88}
89
90void TriggerInstantiation() {
91 UseDefinedInBImpl<void>();
Richard Smith561e0dc2014-03-23 19:45:26 +000092 Std::f<int>();
Richard Smith049fcd82014-07-29 00:58:01 +000093 PartiallyInstantiatePartialSpec<int*>::foo();
Richard Smith72544f82014-08-14 03:30:27 +000094 WithPartialSpecialization<void(int)>::type x;
Richard Smith0e5d7b82013-07-25 23:08:39 +000095}