clang/test/SemaCXX/PR9902.cpp

   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
  26 int main()
  27 {
  28    allocator_traits<allocator<char>>::rebind_alloc<int> a;
  29 }