/*

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

 *   gcc 2.95.3

 *   MSVC 6

 *

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

 *   gcc 3.3.3

 *   gcc 3.4.1

 *   MSVC 8 Beta

 */

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 <> template <typename T>

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