The work with types isn't quite correct

[SergeyKopienko]

oneDPL/include/oneapi/dpl/pstl/algorithm_impl.h

Line 3073 in ef655c4

std::abs(std::max<_Index2>(0, __i - __n_2) - (std::min<_Index1>(__i, __n_1) - 1)) + 1;

Why the author thinks that if we remove from _Index2{} the value _Index1{} we able to have the value of _Index3 ?

[MikeDvorskiy]

A simple reproducer:
https://godbolt.org/z/1arjG5odM