blob: 6597f408744f3cde19344e0f66392d049e944db7 (
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
52
53
|
// PR c++/49107
// { dg-do compile { target c++11 } }
template<typename _Tp>
_Tp declval() noexcept;
template<typename _Tp , typename = decltype(_Tp(declval<_Tp&&>()))>
struct trait
{
static const bool value=true;
};
template<class _T2>
struct pair
{
_T2 second;
void swap(pair& __p)
noexcept(trait<_T2>::value);
};
template < class R_ >
struct Main
{
Main() {}
Main(const typename R_::Sub1T& r) ;
Main(const typename R_::Sub2T& l) ;
};
template < class R_ >
class Sub1
{
typedef pair<typename R_::MainT> Rep;
Rep base;
};
template < class R_ >
struct Sub2
{
typedef pair<typename R_::MainT> Rep;
Rep base;
};
struct Kernel
{
typedef Main<Kernel> MainT;
typedef Sub1<Kernel> Sub1T;
typedef Sub2<Kernel> Sub2T;
};
Main<Kernel> f()
{
return Main<Kernel> ();
}
|