From: Peter Dimov (pdimov_at_[hidden])
Date: 2023-02-21 00:00:24
Andrey Semashev wrote:
> > Isn't the result of "==" always boolean?
>
> The result can have any type. However, the rewritten candidates for
> operator== are only generated when the result is bool, so expression
> templates should be unaffected by this operator rewriting.
That would have made too much sense. Have faith in the committee.
Instead, it's an error if a rewritten candidate doesn't return bool.