gcc/testsuite/g++.old-deja/g++.pt/unify8.C

   1 // { dg-do assemble  }
   2
   3 // Copyright (C) 2000 Free Software Foundation, Inc.
   4 // Contributed by Nathan Sidwell 12 Jan 2001 <nathan@codesourcery.com>
   5
   6 // Bug 1630. Template deduction at a call allowed conversions more lenient than
   7 // qualification conversions. That would lead to misleading diagnostics during
   8 // overload resolution.
   9
  10
  11 template <typename T> void Foo (T const **);
  12 template <typename T> void Bar (T const * const *);
  13 void Foo (int);       // { dg-message "candidate" }
  14 void Foo (float);     // { dg-message "note" } candidate
  15
  16 void baz (int **p1)
  17 {
  18   Foo (p1);   // { dg-error "match" } no such function
  19   Bar (p1);   // OK
  20 }