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
|
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
// expected-no-diagnostics
template <class _Tp, class _Up, bool = false>
struct __allocator_traits_rebind
{
};
template <template <class, class...> class _Alloc, class _Tp, class ..._Args,
class _Up>
struct __allocator_traits_rebind<_Alloc<_Tp, _Args...>, _Up, false>
{
typedef _Alloc<_Up, _Args...> type;
};
template <class Alloc>
struct allocator_traits
{
template <class T> using rebind_alloc = typename __allocator_traits_rebind<Alloc, T>::type;
template <class T> using rebind_traits = allocator_traits<rebind_alloc<T>>;
};
template <class T>
struct allocator {};
int main()
{
allocator_traits<allocator<char>>::rebind_alloc<int> a;
}
|
