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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

// Contributed by Dodji Seketeli <dodji@redhat.com>
// Origin: PR c++/40684
// { dg-options "-std=c++0x" }

struct A
{
};

template <typename S, typename T, typename U, typename S::v = &S::v::s>
typename S::A
foo (S c, T t, U u)		// { dg-message "note" }
{
}

struct B
{
  struct C
  {
    template <typename U>
    C (U t)
    {
      A a;
      A b = foo (this, a, t); // { dg-error "(no matching function|is not a)" }
      // { dg-message "candidate" "candidate note" { target *-*-* } 23 }
    }
  } c;
  B () : c (A ())
  {
  }
};

int
main ()
{
  B f;
}