test/CXX/temp/temp.decls/temp.fct/temp.func.order/p3-0x.cpp


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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
// expected-no-diagnostics

// Core DR 532.
namespace PR8130 {
  struct A { };

  template<class T> struct B {
    template<class R> int &operator*(R&);
  };

  template<class T, class R> float &operator*(T&, R&);
  void test() {
    A a;
    B<A> b;
    int &ir = b * a;
  }
}

namespace OperatorWithRefQualifier {
  struct A { };
  template<class T> struct B {
    template<class R> int &operator*(R&) &&;
  };

  template<class T, class R> float &operator*(T&&, R&);
  void test() {
    A a;
    B<A> b;
    float &ir = b * a;
    int &ir2 = B<A>() * a;
  }
}

namespace OrderWithStaticMember {
  struct A {
    template<class T> int g(T**, int=0) { return 0; }
    template<class T> static int g(T*) { return 1; }
  };
  void f() {
    A a;
    int **p;
    a.g(p);
  }
}

namespace PR17075 {
  template <typename T> struct V {};
  struct S { template<typename T> S &operator>>(T &t) = delete; };
  template<typename T> S &operator>>(S &s, V<T> &v);
  void f(S s, V<int> v) { s >> v; }
}