template<class A, class B> void Foo( B b ){}

という関数があったとき、使う側で

Foo<int>( bar );

と引数から特定できない型のみを指定できるのは、
C++において正しい仕様なのでしょうか？VS2005では一応コンパイルが通る
ようですが…