void swap(optional& _Right)
        noexcept(...) {
        static_assert(is_move_constructible_v<_Ty>, ...);
        static_assert(!is_move_constructible_v<_Ty> || is_swappable_v<_Ty>, ...)
....