blob: fcdf746134be9d0955ef7f2bacfd1d1425931c50 (
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
|
// PR c++/96199
// { dg-do compile { target c++17 } }
template<int> struct A1 { };
template<int&> struct A2 { };
template<class> struct A3 { };
int i;
template<typename V> struct B {
enum E { X };
B(A1<X>, V) { }
constexpr static V& ir = i;
B(A2<ir>, V) { }
B(A3<E>, V) { }
};
// template<class T> B(A1<B<T>::X>,T) -> B<T>;
// template<class T> B(A2<B<T>::ir>,T) -> B<T>;
// template<class T> B(A3<typename B<T>::E>,T) -> B<T>;
int j;
template <> struct B<int> {
using V = int;
enum E { X = 1 };
B(A1<X>, V) { }
constexpr static V& ir = j;
B(A2<ir>, V) { }
B(A3<E>, V) { }
};
B u1 { A1<1>(), 42 };
B u2 { A2<j>(), 42 };
B u3 { A3<B<int>::E>(), 42 };
|
