Propagation issue with multi-dimensional arrays

[Darko Macesic]

Description

Assignment to a multi-dimensional array panics in the typed propagation step.

internal error: entered unreachable code: should be an array value (zokrates_analysis/src/propagation.rs:94:38)

Environment

• Compiler version: 0.8.3
• Operating system: Ubuntu

Steps to Reproduce

def main() {
    field[2][2] mut a = [[1; 2], [1; 2]]; // [[1; 2]; 2] works
    a[0][0] = 0;
}