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
53
54
55
56
|
// RUN: %clang_cc1 -std=c++23 -verify -fsyntax-only %s
// This test case came up in the review of
// https://reviews.llvm.org/D159126
// when transforming `this` within a
// requires expression, we need to make sure
// the type of this (and its qualifiers) is respected.
// expected-no-diagnostics
namespace D159126 {
template <class _Tp>
concept __member_begin = requires(_Tp __t) {
__t.begin();
};
struct {
template <class _Tp>
requires __member_begin<_Tp>
auto operator()(_Tp &&) {}
} inline begin;
template <class>
concept range = requires {
begin;
};
template <class _Tp>
concept __can_compare_begin = requires(_Tp __t) {
begin(__t);
};
struct {
template <__can_compare_begin _Tp> void operator()(_Tp &&);
} empty;
template <range _Rp> struct owning_view {
_Rp __r_;
public:
void empty() const requires requires { empty(__r_); };
};
template <class T>
concept HasEmpty = requires(T t) {
t.empty();
};
struct ComparableIters {
void begin();
};
static_assert(HasEmpty<owning_view<ComparableIters&>>);
static_assert(HasEmpty<owning_view<ComparableIters&&>>);
static_assert(!HasEmpty<owning_view<const ComparableIters&>>);
static_assert(!HasEmpty<owning_view<const ComparableIters&&>>);
}
|
