blob: 04e3acef9846e357bb7598c2faa0ae5e1557b93a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// { dg-do run }
#include <typeinfo>
template <class T>
struct allocator {
typedef T* pointer;
template <class U> struct rebind {
typedef allocator<U> other;
};
};
template <class T, class Allocator>
struct alloc_traits
{
typedef typename Allocator::template rebind<T>::other allocator_type;
};
int main ()
{
typedef alloc_traits<int, allocator<void> >::allocator_type at;
return typeid (at) != typeid (allocator <int>);
}
|