Skip to content

Commit 8ad1335

Browse files
committedDec 3, 2023
test: regenerate UFCS tests
1 parent d167f2b commit 8ad1335

4 files changed

+14
-14
lines changed
 

‎regression-tests/test-results/mixed-bugfix-for-ufcs-non-local.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,7 @@ auto g() -> void{
9393

9494
#line 40 "mixed-bugfix-for-ufcs-non-local.cpp2"
9595
inline CPP2_CONSTEXPR bool u::b = CPP2_UFCS_NONLOCAL(f)(o);
96-
inline CPP2_CONSTEXPR bool u::c = [](cpp2::in<std::type_identity_t<decltype(CPP2_UFCS_NONLOCAL(f)(o))>> x) -> auto { return x; }(true);// Fails on Clang 12 (lambda in unevaluated context).
96+
inline CPP2_CONSTEXPR bool u::c = [](cpp2::in<std::type_identity_t<decltype(CPP2_UFCS_NONLOCAL(f)(o))>> x) mutable -> auto { return x; }(true);// Fails on Clang 12 (lambda in unevaluated context).
9797
auto u::g(auto const& s, auto const& sz) -> void{
9898
cpp2::Default.expects(CPP2_UFCS(sz)(s) != 0, ""); }
9999

‎regression-tests/test-results/pure2-bugfix-for-ufcs-arguments.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -137,7 +137,7 @@ auto main() -> int{
137137
static_cast<void>(CPP2_UFCS_TEMPLATE(f<t,t>)(n, 0, 0));
138138
static_cast<void>(CPP2_UFCS_TEMPLATE(f<t,t>)(a<t,t>, 0, 0));
139139

140-
static_cast<void>([](auto const& a, auto const& f) -> void{static_cast<void>(CPP2_UFCS(f)(CPP2_UFCS(f)(a, a))); });
140+
static_cast<void>([](auto const& a, auto const& f) mutable -> void{static_cast<void>(CPP2_UFCS(f)(CPP2_UFCS(f)(a, a))); });
141141
// _ = 0.std::min<int>(0);
142142
static_cast<void>(CPP2_UFCS_QUALIFIED_TEMPLATE((ns::t<0,0>::),f<0>)(0));
143143
}

‎regression-tests/test-results/pure2-bugfix-for-ufcs-name-lookup.cpp

+11-11
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,7 @@ auto const& f = t().f();
9797
static_assert(f == 0);
9898
}
9999
{
100-
auto f {[](auto const& f) -> auto{
100+
auto f {[](auto const& f) mutable -> auto{
101101
cpp2::Default.expects(CPP2_UFCS(f)(t()) == 0, "");
102102
return CPP2_UFCS(f)(u());
103103
}(identity())};
@@ -111,7 +111,7 @@ auto const& f = t().f();
111111
// _ = f;
112112
}
113113
{
114-
auto f {[]() -> void{
114+
auto f {[]() mutable -> void{
115115
{
116116
cpp2::in<identity> f = identity();
117117
#line 59 "pure2-bugfix-for-ufcs-name-lookup.cpp2"
@@ -127,26 +127,26 @@ cpp2::in<identity> f = identity();
127127
static_cast<void>(std::move(f));
128128
}
129129
{
130-
auto f {[]() -> void{
130+
auto f {[]() mutable -> void{
131131
using ns::f;
132132
static_assert(CPP2_UFCS(f)(t()) == 0);
133133
// static_assert(u().f() == 1);
134134
}};
135135
static_cast<void>(std::move(f));
136136
}
137137
{
138-
auto f {[]() -> void{
138+
auto f {[]() mutable -> void{
139139
static_assert(t().f() == 0);
140-
auto g {[]<typename T>([[maybe_unused]] T const& unnamed_param_1) -> std::void_t<decltype(T().f())>{}};
140+
auto g {[]<typename T>([[maybe_unused]] T const& unnamed_param_1) mutable -> std::void_t<decltype(T().f())>{}};
141141
static_assert(!(std::is_invocable_v<decltype(std::move(g)),u>));
142142
using ns::f;
143143
}};
144144
static_cast<void>(std::move(f));
145145
}
146146
{
147-
auto f {[]() -> void{
147+
auto f {[]() mutable -> void{
148148
using ns::f;
149-
static_cast<void>([]() -> void{
149+
static_cast<void>([]() mutable -> void{
150150
static_assert(CPP2_UFCS(f)(t()) == 0);
151151
// static_assert(u().f() == 1);
152152
});
@@ -158,15 +158,15 @@ cpp2::in<identity> f = identity();
158158
static_cast<void>(std::move(f));
159159
}
160160
{
161-
auto f {[]() -> void{
162-
static_cast<void>([]() -> void{
161+
auto f {[]() mutable -> void{
162+
static_cast<void>([]() mutable -> void{
163163
static_assert(t().f() == 0);
164-
auto g {[]<typename T>([[maybe_unused]] T const& unnamed_param_1) -> std::void_t<decltype(T().f())>{}};
164+
auto g {[]<typename T>([[maybe_unused]] T const& unnamed_param_1) mutable -> std::void_t<decltype(T().f())>{}};
165165
static_assert(!(std::is_invocable_v<decltype(std::move(g)),u>));
166166
});
167167
{
168168
static_assert(t().f() == 0);
169-
auto g {[]<typename T>([[maybe_unused]] T const& unnamed_param_1) -> std::void_t<decltype(T().f())>{}};
169+
auto g {[]<typename T>([[maybe_unused]] T const& unnamed_param_1) mutable -> std::void_t<decltype(T().f())>{}};
170170
static_assert(!(std::is_invocable_v<decltype(std::move(g)),u>));
171171
}
172172
using ns::f;

‎regression-tests/test-results/pure2-bugfix-for-ufcs-sfinae.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ template<typename T> [[nodiscard]] auto f() -> std::type_identity_t<decltype(CPP
3434

3535
#line 5 "pure2-bugfix-for-ufcs-sfinae.cpp2"
3636
auto main() -> int{
37-
auto g {[]<typename T>([[maybe_unused]] T const& unnamed_param_1) -> std::void_t<decltype(f<T>())>{}};
37+
auto g {[]<typename T>([[maybe_unused]] T const& unnamed_param_1) mutable -> std::void_t<decltype(f<T>())>{}};
3838
static_assert(!(std::is_invocable_v<decltype(std::move(g)),B>));
3939
}
4040

0 commit comments

Comments
 (0)