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?

まず、u_view と 2 つの reshape されたビューに対する ArrayInterface.strides の報告された Julia REPL のケースを再現します。view と reshape の挙動に対する strides のエントリポイントを追跡し、その後、結果を期待される (10,) および (10, 20) のセマンティクスと比較します。挙動が明確化または修正され、報告されたケースがテストでカバーされれば完了です。