3 // Copyright (C) 2000 Free Software Foundation, Inc.
4 // Contributed by Nathan Sidwell 18 Jan 2001 <nathan@codesourcery.com>
6 // Bug 1694. We complained during deduction, rather than reject the deduction.
8 template <class T, T d> class X {};
10 template <class T> X<T,0> Foo (T *);
11 template <class T> int Foo (T const *);
13 void Baz (int *p1, int const *p2)
15 int i = Foo (p1); // { dg-error "" } cannot convert
18 void Baz (float *p1, float const *p2)
20 int i = Foo (p1); // ok, deduction fails on X<T,0> Foo (T *)