template specialization bug (3.2)

[Wolfgang Bangerth]

Your code is equivalent to
------------------------
template <typename T> class X {};

template<int shift, typename T> void foo (T x) { error; }
template<int shift, typename T> void foo (X<T> x) {}

int main () {
  foo<1> (X<int>());
}
------------------------

I'd say, it should compile, and it does if one drops the first template 
argument of foo and the <1> template arg indication when calling it.

Please submit a bug report with this piece of code.

Regards
  Wolfgang

-------------------------------------------------------------------------
Wolfgang Bangerth              email:           bangerth@ticam.utexas.edu
                               www: http://www.ticam.utexas.edu/~bangerth