[libcxx-commits] [libcxx] [libcxx] Unifying __is_trivial_equality_predicate and __is_trivial_plus_operation into __desugars_to (PR #68642)

[Louis Dionne via libcxx-commits]

================
@@ -18,8 +18,8 @@
 
 _LIBCPP_BEGIN_NAMESPACE_STD
 
-template <class _Pred, class _Lhs, class _Rhs>
-struct __is_trivial_plus_operation : false_type {};
+template <class _Pred, class _Reference>
+struct __desugars_to : false_type {};
----------------
ldionne wrote:

I would do this instead:

```
template <class _Operation, class _Canonical>
struct __desugars_to : false_type {};

template <class _Operation>
struct __desugars_to<_Operation, _Operation> : true_type {};
```


https://github.com/llvm/llvm-project/pull/68642