summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/template/unify4.C
blob: 19d9f3a9f0395d97c2d22e6d0c8eb66c8b020a29 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
// { dg-do compile }

// Copyright (C) 2003 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 28 Jan 2003 <nathan@codesourcery.com>

// PR 9437. We'd unify 'T *' with 'U C::*', which is obviously broken

struct X
{
  template <typename T>
  operator T* () const { return static_cast<T*> (0); }
} null;

struct A { int i; };

static void f (int A::* pmi) { }

int main () { f (null); } // { dg-error "cannot convert" "" }