blob: c495074a93fde6711b3f941470d0d7b0ddf2f922 (
plain)
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
|
@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;
@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;
}
@import cxx_templates_a;
template<typename T> void UseDefinedInBImplIndirectly(T &v) {
PerformDelayedLookup(v);
}
void TriggerInstantiation() {
UseDefinedInBImpl<void>();
}
|