|
111
|
1 // Contributed by Dodji Seketeli <dodji@redhat.com>
|
|
|
2 // Origin: PR c++/40684
|
|
|
3 // { dg-do compile { target c++11 } }
|
|
|
4
|
|
|
5 struct A
|
|
|
6 {
|
|
|
7 };
|
|
|
8
|
|
|
9 template <typename S, typename T, typename U,
|
|
|
10 typename S::v = &S::v::s> // { dg-error "is not a" }
|
|
|
11 typename S::A
|
|
|
12 foo (S c, T t, U u)
|
|
|
13 {
|
|
|
14 }
|
|
|
15
|
|
|
16 struct B
|
|
|
17 {
|
|
|
18 struct C
|
|
|
19 {
|
|
|
20 template <typename U>
|
|
|
21 C (U t)
|
|
|
22 {
|
|
|
23 A a;
|
|
|
24 A b = foo (this, a, t); // { dg-error "no matching function" }
|
|
|
25 }
|
|
|
26 } c;
|
|
|
27 B () : c (A ())
|
|
|
28 {
|
|
|
29 }
|
|
|
30 };
|
|
|
31
|
|
|
32 int
|
|
|
33 main ()
|
|
|
34 {
|
|
|
35 B f;
|
|
|
36 }
|
|
|
37
|
