--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/genericopenlibs/cppstdlib/stl/test/compiler/ttei4.cpp	Tue Feb 02 02:01:42 2010 +0200
@@ -0,0 +1,41 @@
+/*
+ * It is known that this code not compiled by following compilers:
+ *   gcc 2.95.3
+ *   gcc 3.3.3
+ *   gcc 3.4.1
+ *
+ * It is known that this code compiled by following compilers:
+ *
+ *   MSVC 6
+ *   MSVC 8 Beta
+ */
+
+/*
+ * Indeed this code is wrong: 1. explicit template specialization
+ * have to appear out-of-class; 2. specialized struct C have to
+ * have function f.
+ *
+ */
+
+struct A
+{
+  private:
+    struct B
+    {
+        template <typename T>
+        static void f( T& ) {}
+
+        template <bool V>
+        struct C
+        {
+            template <typename T>
+            static void f( T& ) {}
+        };
+
+        template <>
+        struct C<true>
+        {
+        };
+    };
+};
+