1 /*

     2  * It is known that this code not compiled by following compilers:

     3  *   gcc 2.95.3

     4  *   MSVC 6

     5  *

     6  * It is known that this code compiled by following compilers:

     7  *   gcc 3.3.3

     8  *   gcc 3.4.1

     9  *   MSVC 8 Beta

    10  */

    11 

    12 struct A

    13 {

    14   private:

    15     struct B

    16     {

    17         template <typename T>

    18         static void f( T& ) {}

    19 

    20         template <bool V>

    21         struct C

    22         {

    23             template <typename T>

    24             static void f( T& ) {}

    25         };

    26     };

    27 };

    28 

    29 template <> template <typename T>

    30 void A::B::C<true>::f( T& ) {}

    31