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?

Commencez par reproduire les cas signalés dans Julia REPL pour ArrayInterface.strides sur u_view et les deux vues redimensionnées. Suivez le point d’entrée de strides pour le comportement de view et reshape, puis comparez les résultats avec la sémantique attendue (10,) et (10, 20). Le travail est terminé lorsque le comportement est clarifié ou corrigé et que les cas signalés sont couverts par des tests.