Template argument deduction from reference argument

[Thomas Maeder <maeder at glue dot ch>]

struct S
{
  virtual void f() = 0;
};

void g(int);

template <typename T>
void f(T t)
{
  g(t);
}

int main()
{
  S &rs = rs;
  f(rs);
}

gcc 2.95.2 says this:

foo.cpp: In function `void f<S>(S)':
foo.cpp: instantiated from here
foo.cpp: `struct S' used where a `int' was expected

Does this mean that
- template argument type S is deduced from actual argument S &?
- an instance (t) of an abstract class is thereby created?

I would have expected T to be bound to S &.

Thomas