OSDN Git Service

Restore canonical type comparison for dependent type(def)s
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / g++.dg / template / unify6.C
1 // Copyright (C) 2004 Free Software Foundation, Inc.
2 // Contributed by Nathan Sidwell 1 Apr 2004 <nathan@codesourcery.com>
3
4 void Baz ();
5
6 template <typename T> void Foo1 (T *); // #1
7 template <typename T> void Foo1 (T const *a) {a (1);} // #2
8
9 template <typename T> T const *Foo2 (T *);
10
11 template <typename T> void Foo3 (T *, T const * = 0); // { dg-message "candidate" }
12
13 void Bar ()
14 {
15   Foo1 (&Baz); // #1
16
17   Foo2 (&Baz);
18
19   Foo3 (&Baz);
20
21   Foo3 (&Baz, &Baz); // { dg-error "no matching function" "" }
22 }