Message 14478 - WG21 LWG Issues

Date: 2024-11-28.21:40:31
Message id: 14478

Content

Proposed resolution:

This wording is relative to N4981.

Modify [optional.comp.with.t] as indicated:
```
template<class T, class U> constexpr bool operator==(const optional<T>& x, const U& v);
```
-1- Constraints: `U` is not a specialization of `optional`. The expression *x == v is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator==(const T& v, const optional& x);
```
-3- Constraints: `T` is not a specialization of `optional`. The expression v == *x is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator!=(const optional<T>& x, const U& v);
```
-5- Constraints: `U` is not a specialization of `optional`. The expression *x != v is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator!=(const T& v, const optional& x);
```
-7- Constraints: `T` is not a specialization of `optional`. The expression v != *x is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator<(const optional<T>& x, const U& v);
```
-9- Constraints: `U` is not a specialization of `optional`. The expression *x < v is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator<(const T& v, const optional& x);
```
-11- Constraints: `T` is not a specialization of `optional`. The expression v < *x is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator>(const optional<T>& x, const U& v);
```
-13- Constraints: `U` is not a specialization of `optional`. The expression *x > v is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator>(const T& v, const optional& x);
```
-15- Constraints: `T` is not a specialization of `optional`. The expression v > *x is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator<=(const optional<T>& x, const U& v);
```
-17- Constraints: `U` is not a specialization of `optional`. The expression *x <= v is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator<=(const T& v, const optional& x);
```
-19- Constraints: `T` is not a specialization of `optional`. The expression v <= *x is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator>=(const optional<T>& x, const U& v);
```
-21- Constraints: `U` is not a specialization of `optional`. The expression `*x >= v` is well-formed and its result is convertible to `bool`.
```
template<class T, class U> constexpr bool operator>=(const T& v, const optional& x);
```
-23- Constraints: `T` is not a specialization of `optional`. The expression v >= *x is well-formed and its result is convertible to `bool`.