This is an archive of the discontinued LLVM Phabricator instance.

Differential D117517

[libc++][test] test in_in_result convertible requirements
ClosedPublic

Authored by philnik on Jan 17 2022, 3:21 PM.

Details

Reviewers
• Quuxplusone
ldionne
Mordante
Group Reviewers
Restricted Project
Commits
rG6322cb4890db: [libc++][test] test in_in_result convertible requirements
Summary

Currently it is not checked that operator in_in_result<II1, II2>() SFINAEs away properly

Diff Detail

Event Timeline

philnik requested review of this revision.Jan 17 2022, 3:21 PM
philnik created this revision.
Herald added a project: Restricted Project. · View Herald TranscriptJan 17 2022, 3:21 PM
Herald added a reviewer: Restricted Project. · View Herald Transcript
Herald added a subscriber: libcxx-commits. · View Herald Transcript
Harbormaster completed remote builds in B143874: Diff 400655.Jan 17 2022, 4:47 PM
ldionne accepted this revision.Jan 18 2022, 7:24 AM
This revision is now accepted and ready to land.Jan 18 2022, 7:24 AM
Closed by commit rG6322cb4890db: [libc++][test] test in_in_result convertible requirements (authored by philnik). · Explain WhyJan 18 2022, 11:31 AM
This revision was automatically updated to reflect the committed changes.
philnik added a commit: rG6322cb4890db: [libc++][test] test in_in_result convertible requirements.

Revision Contents

PathSize
libcxx/
test/
std/
algorithms/
algorithms.results/
6 lines

Diff 400926

libcxx/test/std/algorithms/algorithms.results/in_in_result.pass.cpp

Show First 20 Lines • Show All 48 Lines • ▼ Show 20 Lines
static_assert(!std::is_nothrow_convertible_v<std::ranges::in_in_result<int, int>&, std::ranges::in_in_result<long, long>>); static_assert(!std::is_nothrow_convertible_v<std::ranges::in_in_result<int, int>&, std::ranges::in_in_result<long, long>>);
static_assert(std::is_convertible_v< const std::ranges::in_in_result<int, int>&, std::ranges::in_in_result<long, long>>); static_assert(std::is_convertible_v< const std::ranges::in_in_result<int, int>&, std::ranges::in_in_result<long, long>>);
static_assert(!std::is_nothrow_convertible_v<const std::ranges::in_in_result<int, int>&, std::ranges::in_in_result<long, long>>); static_assert(!std::is_nothrow_convertible_v<const std::ranges::in_in_result<int, int>&, std::ranges::in_in_result<long, long>>);
static_assert(std::is_convertible_v< std::ranges::in_in_result<int, int>&&, std::ranges::in_in_result<long, long>>); static_assert(std::is_convertible_v< std::ranges::in_in_result<int, int>&&, std::ranges::in_in_result<long, long>>);
static_assert(!std::is_nothrow_convertible_v<std::ranges::in_in_result<int, int>&&, std::ranges::in_in_result<long, long>>); static_assert(!std::is_nothrow_convertible_v<std::ranges::in_in_result<int, int>&&, std::ranges::in_in_result<long, long>>);
static_assert(std::is_convertible_v< const std::ranges::in_in_result<int, int>&&, std::ranges::in_in_result<long, long>>); static_assert(std::is_convertible_v< const std::ranges::in_in_result<int, int>&&, std::ranges::in_in_result<long, long>>);
static_assert(!std::is_nothrow_convertible_v<const std::ranges::in_in_result<int, int>&&, std::ranges::in_in_result<long, long>>); static_assert(!std::is_nothrow_convertible_v<const std::ranges::in_in_result<int, int>&&, std::ranges::in_in_result<long, long>>);
struct NotConvertible {};
static_assert(!std::is_convertible_v<std::ranges::in_in_result<NotConvertible, int>,
std::ranges::in_in_result<int, int>>);
static_assert(!std::is_convertible_v<std::ranges::in_in_result<int, NotConvertible>,
std::ranges::in_in_result<int, int>>);
constexpr bool test() { constexpr bool test() {
{ {
std::ranges::in_in_result<int, double> res{10L, 0.}; std::ranges::in_in_result<int, double> res{10L, 0.};
assert(res.in1 == 10); assert(res.in1 == 10);
assert(res.in2 == 0.); assert(res.in2 == 0.);
std::ranges::in_in_result<ConstructibleFrom<int>, ConstructibleFrom<double>> res2 = res; std::ranges::in_in_result<ConstructibleFrom<int>, ConstructibleFrom<double>> res2 = res;
assert(res2.in1.content == 10); assert(res2.in1.content == 10);
assert(res2.in2.content == 0.); assert(res2.in2.content == 0.);
Show All 20 Lines