std::iterator_traits is not mentioned for multi_ptr

[carbotaniuman]

Specification Version

SYCL 2020 (Revision 10)

Section Number(s)

4.7.7.1. Multi-pointer class https://registry.khronos.org/SYCL/specs/sycl-2020/html/sycl-2020.html#sec:multiptr

Bug Description

In the group algorithms, it appears like the pointer overloads are meant to take in a multi_ptr. However, the output is specified in terms of std::iterator_traits, which is not mentioned to be specialized for multi_ptr.

Constraints: Available only if sycl::is_group_v<std::decay_t<Group>> is true, Ptr is a pointer to a fundamental type, and BinaryOperation is a SYCL function object type.

Mandates: binary_op(*first, *first) must return a value of type std::iterator_traits<Ptr>::value_type.

[carbotaniuman]

Oh, std::iterator_traits is automatically provided if the typedefs are present. I guess I'll leave this open because it might be confusing, but this actually doesn't look like a bug.