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