blob: 54f2ecef22e18d860de89e7c2541f59c1bf90cc7 (
plain)
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
// RUN: rm -rf %t
// RUN: mkdir -p %t
// RUN: split-file %s %t
//
// RUN: %clang_cc1 -std=c++23 -emit-module-interface %t/a.cppm -o %t/a.pcm
// RUN: %clang_cc1 -std=c++23 %t/b.cpp -fmodule-file=a=%t/a.pcm -fsyntax-only -verify
// RUN: %clang_cc1 -std=c++23 -emit-reduced-module-interface %t/a.cppm -o %t/a.pcm
// RUN: %clang_cc1 -std=c++23 %t/b.cpp -fmodule-file=a=%t/a.pcm -fsyntax-only -verify
//--- foo.h
class TypeA {};
template<class _Tp, class _Up>
concept __comparable = requires (_Tp &&__t, _Up &&__u) {
__t == __u;
};
namespace ranges {
namespace __end {
template <class _Tp>
concept __member_end =
requires(_Tp&& __t) {
{ __t.end() } -> __comparable<TypeA>;
};
struct __fn {
template <class _Tp>
requires __member_end<_Tp>
constexpr auto operator()(_Tp&& __t) const
{
return true;
}
void operator()(auto&&) const = delete;
};
}
inline namespace __cpo {
inline constexpr auto end = __end::__fn{};
}
}
template <class _Tp>
concept range = requires(_Tp& __t) {
ranges::end(__t);
};
template <class T>
class a {
public:
a(T*) {}
TypeA end() { return {}; }
};
template <class T>
class a_view {
public:
template <class U>
a_view(a<U>) {}
};
template <range _Range>
a_view(_Range) -> a_view<int>;
constexpr bool operator==(TypeA, TypeA) {
return true;
}
//--- a.cppm
module;
#include "foo.h"
export module a;
export using ::a;
export using ::a_view;
// We need to mention the 'operator==' explicitly to make sure it won't be
// discarded.
export using ::operator==;
//--- b.cpp
// expected-no-diagnostics
import a;
void use() {
auto _ = a{"char"};
auto __ = a_view{_};
}
|
