// { dg-do assemble  }
// 
// Copyright (C) 2000 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 14 Aug 2000 <nathan@codesourcery.com>

// A pointer to member can only be formed by `&T::m', however, other forms
// are ok for pointer to static member. Thus the error can only be determined
// after overload resolution. In template deduction, this can disambiguate
// otherwise ambiguous cases.

struct A
{
  static int f (int);
  int f (short);
  void baz ();
};

template <typename T> void foo (int (*)(T));      // { dg-message "note" } 
template <typename T> void foo (int (A::*)(T));   // { dg-message "note" } candidate


void A::baz ()
{
  foo (&A::f);  // { dg-error "ambiguous" } 
  // { dg-message "candidate" "candidate note" { target *-*-* } 24 }
  foo (A::f);
  foo (&(A::f));
  foo (f);
  foo (&f);
}