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?

Inizia riproducendo i casi segnalati in Julia REPL per ArrayInterface.strides su u_view e sulle due viste ridimensionate. Traccia il punto di ingresso di strides per il comportamento di view e reshape, quindi confronta i risultati con la semantica attesa (10,) e (10, 20). Il lavoro è completato quando il comportamento è chiarito o corretto e i casi segnalati sono coperti da test.