1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
3 struct X0 {
4   struct type { };
5 
6   X0();
7   X0(int);
8   (X0)(float);
9   X0 (f0)(int);
10   X0 (f0)(type);
11 
12   X0 f1();
13   X0 f1(double);
14 };
15 
16 X0::X0() { }
17 (X0::X0)(int) { }
18 
19 X0 (X0::f0)(int) { return X0(); }
20 
21 template<typename T>
22 struct X1 {
23   struct type { };
24 
25   X1<T>();
26   X1<T>(int);
27   (X1<T>)(float);
28   X1(float, float);
29   (X1)(double);
30   X1<T> (f0)(int);
31   X1<T> (f0)(type);
32   X1 (f1)(int);
33   X1 (f1)(type);
34 
35   template<typename U> X1(U);
36   X1 f2();
37   X1 f2(int);
38 };
39 
40 template<typename T> X1<T>::X1() { }
41 template<typename T> (X1<T>::X1)(double) { }
42 template<typename T> X1<T> X1<T>::f1(int) { return 0; }
43 template<typename T> X1<T> (X1<T>::f1)(type) { return 0; }
44 
45 class X2 {
46   X2::X2(); // expected-error {{extra qualification on member 'X2'}}
47 };
48 
49 // We used to parse 'X3::X3' as a member function declaration.
50 // DR 1435 and DR 1310 made this invalid.
51 typedef int T1;
52 struct X3 {
53   X3::X3(T1()); // expected-error {{extra qualification on member 'X3'}}
54 };
55 
56