/*
 * It is known that this code not compiled by following compilers:
 *
 * It is known that this code compiled by following compilers:
 *   gcc 2.95.3
 *   gcc 3.3.3
 *   gcc 3.4.1
 *   MSVC 6
 *   MSVC 8
 */

struct A
{
  private:
    struct B
    {
        template <typename T>
        static void f( T& ) {}

        template <bool V>
        struct C
        {
        };
    };
};

template <>
struct A::B::C<true>
{
};