diff options
| -rw-r--r-- | libcxx/test/std/algorithms/algorithms.results/in_in_result.pass.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libcxx/test/std/algorithms/algorithms.results/in_in_result.pass.cpp b/libcxx/test/std/algorithms/algorithms.results/in_in_result.pass.cpp index 72834be60..fbb6da6 100644 --- a/libcxx/test/std/algorithms/algorithms.results/in_in_result.pass.cpp +++ b/libcxx/test/std/algorithms/algorithms.results/in_in_result.pass.cpp @@ -54,6 +54,12 @@ static_assert(!std::is_nothrow_convertible_v<std::ranges::in_in_result<int, int> 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>>); +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() { { std::ranges::in_in_result<int, double> res{10L, 0.}; |