<ranges>: Drop one superfluous _Fake_copy_init<bool> where the argument type is always bool (#4465)

yronglin · web-flow · commit 584144f4eec8 · 2024-03-15T22:40:31.000-07:00
diff --git a/stl/inc/ranges b/stl/inc/ranges
@@ -3906,8 +3906,7 @@ namespace ranges {
             }
 
             _NODISCARD_FRIEND constexpr bool operator==(const _Iterator& _Left, const _Iterator& _Right) noexcept(
-                noexcept(_Fake_copy_init<bool>(
-                    _Left._Outer == _Right._Outer && _Left._Inner == _Right._Inner))) /* strengthened */
+                noexcept(_Left._Outer == _Right._Outer && _Left._Inner == _Right._Inner)) /* strengthened */
                 requires _Deref_is_glvalue && forward_range<_Base> && equality_comparable<_InnerIter>
             {
 #if _ITERATOR_DEBUG_LEVEL != 0

Original file line number	Diff line number	Diff line change
`@@ -3906,8 +3906,7 @@ namespace ranges {`
`3906`	`3906`	`}`
`3907`	`3907`
`3908`	`3908`	`_NODISCARD_FRIEND constexpr bool operator==(const _Iterator& _Left, const _Iterator& _Right) noexcept(`
`3909`		`- noexcept(_Fake_copy_init<bool>(`
`3910`		`- _Left._Outer == _Right._Outer && _Left._Inner == _Right._Inner))) /* strengthened */`
	`3909`	`+ noexcept(_Left._Outer == _Right._Outer && _Left._Inner == _Right._Inner)) /* strengthened */`
`3911`	`3910`	`requires _Deref_is_glvalue && forward_range<_Base> && equality_comparable<_InnerIter>`
`3912`	`3911`	`{`
`3913`	`3912`	`#if _ITERATOR_DEBUG_LEVEL != 0`