Ticket #4003: inadequate_patch.patch

destroy.hpp

@@ -27 +27 @@
 # endif 
     >
 {
-    template <class T>
-    static void execute(T const volatile* p)
+    template <class Type>
+    static void execute(Type const volatile* p)
     {
-        p->T::~T();
+        p->Type::~Type();
     }
 };