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