Done
Details
Details
Assignee
Leandro Lupori
Leandro LuporiReporter
Leandro Lupori
Leandro LuporiDue date
Apr 03, 2023
Start date
Mar 17, 2023
Original estimate
1w
Time tracking
Fix versions
Priority
Checklist
Checklist
Sentry
Sentry
Created February 6, 2023 at 2:00 PM
Updated March 31, 2023 at 12:30 PM
Resolved March 31, 2023 at 12:29 PM
ANY works with arrays of the same rank, directly or after linearization (
(/array/)
).But it seems some property of the array before linearization is being used incorrectly, causing the crash.