Bug in `strides` for reshaped views

julia> using ArrayInterface

julia> u_base = randn(10, 10); u_view = view(u_base, 3, :); u_reshaped_view1 = reshape(u_view, 1, :); u_reshaped_view2 = reshape(u_view, 2, :);

julia> ArrayInterface.strides(u_reshaped_view1)
(static(1), 1)

julia> ArrayInterface.strides(u_reshaped_view2)
(static(1), 2)

These seem to be wrong, I think. Because of ArrayInterface.strides(u_view) == (10,), the strides should be

• ArrayInterface.strides(u_reshaped_view1) = (10 #= doesn't matter since there is only one element in this dimension =#, 10)
• ArrayInterface.strides(u_reshaped_view1) = (10, 20)

Is that correct?

Beginne damit, die gemeldeten Julia-REPL-Fälle für ArrayInterface.strides auf u_view und den beiden reshaped views zu reproduzieren. Verfolge den Einstiegspunkt von strides für das Verhalten von view und reshape und vergleiche anschließend die Ergebnisse mit der erwarteten Semantik (10,) und (10, 20). Erledigt ist die Aufgabe, wenn das Verhalten geklärt oder korrigiert ist und die gemeldeten Fälle durch Tests abgedeckt sind.