@@ -221,6 +221,7 @@ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
221221 (!detail::rvariant_trivially_copy_constructible<Ts...>) &&
222222 detail::rvariant_copy_constructible<Ts...>
223223 {
224+ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_BEGIN
224225 constexpr bool is_noexcept = std::conjunction_v<std::is_nothrow_copy_constructible<Ts>...>;
225226 w.template raw_visit <is_noexcept>([this ]<std::size_t j, class T >(std::in_place_index_t <j>, [[maybe_unused]] T const & alt)
226227 noexcept (is_noexcept)
@@ -234,6 +235,7 @@ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
234235 index_ = detail::variant_npos<sizeof ...(Ts)>;
235236 }
236237 });
238+ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
237239 }
238240
239241 constexpr rvariant (rvariant&&) = default;
@@ -244,6 +246,7 @@ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
244246 (!detail::rvariant_trivially_move_constructible<Ts...>) &&
245247 detail::rvariant_move_constructible<Ts...>
246248 {
249+ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_BEGIN
247250 constexpr bool is_noexcept = std::conjunction_v<std::is_nothrow_move_constructible<Ts>...>;
248251 std::move (w).template raw_visit <is_noexcept>([this ]<std::size_t j, class T >(std::in_place_index_t <j>, [[maybe_unused]] T&& alt)
249252 noexcept (is_noexcept)
@@ -258,6 +261,7 @@ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
258261 index_ = detail::variant_npos<sizeof ...(Ts)>;
259262 }
260263 });
264+ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
261265 }
262266
263267 constexpr rvariant& operator =(rvariant const &)
@@ -922,6 +926,7 @@ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
922926 constexpr rvariant (rvariant<Us...>&& w)
923927 noexcept (std::conjunction_v<std::is_nothrow_constructible<detail::select_maybe_wrapped_t <unwrap_recursive_t <Us>, Ts...>, Us&&>...>)
924928 {
929+ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_BEGIN
925930 constexpr bool is_noexcept = std::conjunction_v<std::is_nothrow_constructible<detail::select_maybe_wrapped_t <unwrap_recursive_t <Us>, Ts...>, Us&&>...>;
926931 std::move (w).template raw_visit <is_noexcept>([this ]<std::size_t j, class Uj >(std::in_place_index_t <j>, [[maybe_unused]] Uj&& uj)
927932 noexcept (is_noexcept)
@@ -937,6 +942,7 @@ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
937942 this ->index_ = detail::variant_npos<sizeof ...(Ts)>;
938943 }
939944 });
945+ IRIS_RVARIANT_ALWAYS_THROWING_UNREACHABLE_END
940946 }
941947
942948 // --------------------------------------
0 commit comments