From 161e160b3f5e0573b69020d8ef715328045c0a45 Mon Sep 17 00:00:00 2001
From: "Stephan T. Lavavej" <stl@microsoft.com>
Date: Tue, 3 Nov 2020 01:07:03 -0800
Subject: [PATCH] noexcept(noexcept(is_nothrow_v)) is a bug.

---
 stl/inc/iterator | 2 +-
 stl/inc/ranges   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/stl/inc/iterator b/stl/inc/iterator
index 42b7bd52160..0539de6cdfd 100644
--- a/stl/inc/iterator
+++ b/stl/inc/iterator
@@ -602,7 +602,7 @@ public:
 #endif // TRANSITION, VSO-1225825
 
     _Variantish(const _Variantish& _That) noexcept(
-        noexcept(is_nothrow_copy_constructible_v<_It>&& is_nothrow_copy_constructible_v<_Se>))
+        is_nothrow_copy_constructible_v<_It>&& is_nothrow_copy_constructible_v<_Se>)
         : _Contains{_That._Contains} {
         switch (_Contains) {
         case _Variantish_state::_Holds_iter:
diff --git a/stl/inc/ranges b/stl/inc/ranges
index 9e54f51b2cb..6483674740c 100644
--- a/stl/inc/ranges
+++ b/stl/inc/ranges
@@ -1187,7 +1187,7 @@ namespace ranges {
             _Iterator() = default;
 
             constexpr _Iterator(_Parent_t& _Parent_, iterator_t<_Base> _Current_) noexcept(
-                noexcept(is_nothrow_move_constructible_v<iterator_t<_Base>>)) // strengthened
+                is_nothrow_move_constructible_v<iterator_t<_Base>>) // strengthened
                 : _Current{_STD move(_Current_)}, _Parent{_STD addressof(_Parent_)} {
 #if _ITERATOR_DEBUG_LEVEL != 0
                 _Adl_verify_range(_Current, _RANGES end(_Parent_._Range));