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 --- 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_convertible_v< const std::ranges::in_in_result&&, std::ranges::in_in_result>); static_assert(!std::is_nothrow_convertible_v&&, std::ranges::in_in_result>); +struct NotConvertible {}; +static_assert(!std::is_convertible_v, + std::ranges::in_in_result>); +static_assert(!std::is_convertible_v, + std::ranges::in_in_result>); + constexpr bool test() { { std::ranges::in_in_result res{10L, 0.};