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?

Bắt đầu bằng cách tái hiện các trường hợp được báo cáo trong Julia REPL đối với ArrayInterface.strides trên u_view và hai view đã reshape. Theo dõi entry point của strides đối với hành vi của view và reshape, sau đó so sánh kết quả với ngữ nghĩa mong đợi (10,) và (10, 20). Hoàn tất khi hành vi đã được làm rõ hoặc sửa đúng và các trường hợp được báo cáo đã được kiểm thử.