gcc/testsuite/g++.dg/template/unify4.C

   1 // { dg-do compile }
   2
   3 // Copyright (C) 2003 Free Software Foundation, Inc.
   4 // Contributed by Nathan Sidwell 28 Jan 2003 <nathan@codesourcery.com>
   5
   6 // PR 9437. We'd unify 'T *' with 'U C::*', which is obviously broken
   7
   8 struct X
   9 {
  10   template <typename T>
  11   operator T* () const { return static_cast<T*> (0); }
  12 } null;
  13
  14 struct A { int i; };
  15
  16 static void f (int A::* pmi) { }
  17
  18 int main () { f (null); } // { dg-error "cannot convert" "" }