1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++0x %s
2
3 template <class _Tp, class _Up, bool = false>
4 struct __allocator_traits_rebind
5 {
6 };
7
8 template <template <class, class...> class _Alloc, class _Tp, class ..._Args,
9 class _Up>
10 struct __allocator_traits_rebind<_Alloc<_Tp, _Args...>, _Up, false>
11 {
12 typedef _Alloc<_Up, _Args...> type;
13 };
14
15 template <class Alloc>
16 struct allocator_traits
17 {
18 template <class T> using rebind_alloc = typename __allocator_traits_rebind<Alloc, T>::type;
19 template <class T> using rebind_traits = allocator_traits<rebind_alloc<T>>;
20 };
21
22 template <class T>
23 struct allocator {};
24
main()25 int main()
26 {
27 allocator_traits<allocator<char>>::rebind_alloc<int> a;
28 }
29