1 // { dg-do compile }
2 
3 class __new_alloc {
4 public:
5   static void allocate() {}
6 };
7 
8 template <class _Alloc>
9 class __debug_alloc : public _Alloc {
10 public:
11   static void allocate();
12 };
13 
14 template <class _Alloc>
15 void __debug_alloc<_Alloc>::allocate() {
16   _Alloc::allocate();
17 }
18 
19 template class __debug_alloc<__new_alloc>;
20