On 03/02/20 21:07 -0500, Patrick Palka wrote:
+ template<typename _Iter1, typename _Iter2, typename _Out>
+ struct binary_transform_result
+ {
+ [[no_unique_address]] _Iter1 in1;
+ [[no_unique_address]] _Iter2 in2;
+ [[no_unique_address]] _Out out;
+
+ template<typename _IIter1, typename _IIter2, typename _OOut>
+ requires convertible_to<const _Iter1&, _IIter1> &&
+ && convertible_to<const _Iter2&, _IIter2>
WHAT IS HAPPENING HERE?!
Notice we have requires A && && B
I'm fixing it, but that needs following up to see if there's a
compiler bug!
