GCC/VS2008: Другое поведение вызова функции, когда шаблонный базовый класс получен из себя

Следующий код работает с Visual Studio 2008, но не с GCC/G ++ 4.3.4 20090804. Какое поведение - согласно стандарту C++ - корректно?

template <int N>
struct A : A<N-1> {};

template <>
struct A<0> {};

struct B : A<1> {};

template <int N>
void Func(const A<N> &a) {}

int main()
{
    A<1> a;   //is derived from A<0>
    Func(a);  //vs2008: ok, g++: ok
              //Comeau: ok

    B b;      //is derived from A<1>
    Func(b);  //vs2008: ok, g++: error, no matching function for call to Func(B&)
              //Comeau: error: no instance of function template "Func" matches the
              //        argument list. The argument types that you used are: (B).

    return 0;
}

Если я перегружаю Func () с

void Func(const A<0> &a) { std::cout << '0'; }
void Func(const A<1> &a) { std::cout << '1'; }

всегда последний называют (как ожидалось). Таким образом, я также ожидал бы, что шаблонная функция будет названа с N=1, потому что <1> прямая основа B. Это предположение действительно неправильно?