expected : C++26対応として比較演算子の適格要件をテンプレートパラメータ制約に変更 (close #1379)

reference/expected/expected.void/op_equal.md

@@ -24,7 +24,7 @@ friend constexpr bool operator==(const unexpected<E2>& e, const expected& x);
 - (2), (3) : `expected`オブジェクトとエラー値の等値比較を行う。
 
 
-## 適格要件
+## テンプレートパラメータ制約
 - (1) : 式`x.`[`error()`](error.md) `== y.`[`error()`](error.md)が適格であり、その結果を`bool`へ変換可能であること。
 - (2), (3) : 式`x.`[`error()`](error.md) `== e.`[`error()`](../unexpected/error.md)が適格であり、その結果を`bool`へ変換可能であること。
 
@@ -80,3 +80,5 @@ int main()
 
 ## 参照
 - [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)
+- [P3379R0 Constrain `std::expected` equality operators](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3379r0.html)
+    - C++26で「適格要件」を「テンプレートパラメータ制約」に変更

reference/expected/expected.void/op_not_equal.md

@@ -25,7 +25,7 @@ friend constexpr bool operator!=(const unexpected<E2>& e, const expected& x);
 - (2), (3) : `expected`オブジェクトとエラー値の非等値比較を行う。
 
 
-## 適格要件
+## テンプレートパラメータ制約
 - (1) : 式`x.`[`error()`](error.md) `== y.`[`error()`](error.md)が適格であり、その結果を`bool`へ変換可能であること。
 - (2), (3) : 式`x.`[`error()`](error.md) `== e.`[`error()`](../unexpected/error.md)が適格であり、その結果を`bool`へ変換可能であること。
 
@@ -79,3 +79,5 @@ int main()
 
 ## 参照
 - [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)
+- [P3379R0 Constrain `std::expected` equality operators](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3379r0.html)
+    - C++26で「適格要件」を「テンプレートパラメータ制約」に変更

reference/expected/expected/op_equal.md

@@ -30,7 +30,7 @@ friend constexpr bool operator==(const unexpected<E2>& e, const expected& x); //
 - (4), (5) : `expected`オブジェクトとエラー値の等値比較を行う。
 
 
-## 適格要件
+## テンプレートパラメータ制約
 - (1) : 式[`*x`](op_deref.md) `==` [`*y`](op_deref.md)および式`x.`[`error()`](error.md) `== y.`[`error()`](error.md)が適格であり、各式の結果を`bool`へ変換可能であること。
 - (2), (3) : 式[`*x`](op_deref.md) `== v`が適格であり、その結果を`bool`へ変換可能であること。
 - (4), (5) : 式`x.`[`error()`](error.md) `== e.`[`error()`](../unexpected/error.md)が適格であり、その結果を`bool`へ変換可能であること。
@@ -93,3 +93,5 @@ int main()
 
 ## 参照
 - [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)
+- [P3379R0 Constrain `std::expected` equality operators](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3379r0.html)
+    - C++26で「適格要件」を「テンプレートパラメータ制約」に変更

reference/expected/expected/op_not_equal.md

@@ -30,7 +30,7 @@ friend constexpr bool operator!=(const unexpected<E2>& e, const expected& x); //
 - (4), (5) : `expected`オブジェクトとエラー値の非等値比較を行う。
 
 
-## 適格要件
+## テンプレートパラメータ制約
 - (1) : 式[`*x`](op_deref.md) `==` [`*y`](op_deref.md)および式`x.`[`error()`](error.md) `== y.`[`error()`](error.md)が適格であり、各式の結果を`bool`へ変換可能であること。
 - (2), (3) : 式[`*x`](op_deref.md) `== v`が適格であり、その結果を`bool`へ変換可能であること。
 - (4), (5) : 式`x.`[`error()`](error.md) `== e.`[`error()`](../unexpected/error.md)が適格であり、その結果を`bool`へ変換可能であること。
@@ -90,3 +90,5 @@ int main()
 
 ## 参照
 - [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)
+- [P3379R0 Constrain `std::expected` equality operators](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3379r0.html)
+    - C++26で「適格要件」を「テンプレートパラメータ制約」に変更