File tree Expand file tree Collapse file tree 2 files changed +10
-10
lines changed Expand file tree Collapse file tree 2 files changed +10
-10
lines changed Original file line number Diff line number Diff line change @@ -2,11 +2,11 @@ arithmetic: <T> concept = std::integral<T> || std::floating_point<T>;
2
2
number_difference_t: <T> type == std::type_identity_t<decltype(T() - T())>;
3
3
number: <T> concept = std::regular<T> && requires(c: T)
4
4
{
5
- !requires std::iter_reference_t<T>;
6
- {c + c} is std::common_with<T>;
7
- number_difference_t<T>;
8
- _ = c - c;
9
- requires std::common_with<number_difference_t<T>, T>;
5
+ !requires std::iter_reference_t<T>; // Negative requirement.
6
+ {c + c} is std::common_with<T>; // Compound requirement.
7
+ number_difference_t<T>; // Type requirement.
8
+ _ = c - c; // Expression requirement.
9
+ requires std::common_with<number_difference_t<T>, T>; // Nested requirement.
10
10
};
11
11
test_nonthrowing_requirements: <T> concept = requires
12
12
{ // clang-format off
Original file line number Diff line number Diff line change @@ -15,12 +15,12 @@ template<typename T> concept arithmetic = std::integral<T> || std::floating_poin
15
15
template <typename T> using number_difference_t = std::type_identity_t <decltype (T() - T())>;
16
16
template <typename T> concept number = std::regular<T> && requires (T const & c) {
17
17
18
- requires !requires { typename std::iter_reference_t <T>; };
19
- { c + c } -> std::common_with<T>;
20
- typename number_difference_t <T>;
21
- c - c;
18
+ requires !requires { typename std::iter_reference_t <T>; };// Negative requirement.
19
+ { c + c } -> std::common_with<T>; // Compound requirement.
20
+ typename number_difference_t <T>; // Type requirement.
21
+ c - c; // Expression requirement.
22
22
requires std::common_with<number_difference_t <T>,T>;
23
- };
23
+ }; // Nested requirement.
24
24
template <typename T> concept test_nonthrowing_requirements = requires {
25
25
// clang-format off
26
26
{ T () } noexcept ;
You can’t perform that action at this time.
0 commit comments