Panic when casting an array to a slice

[benesjan]

Bug

When I try to compile the following code:

fn main(args: [Field; 2]) {
    /// Safety: what?
    unsafe { store(args) };
}

pub unconstrained fn store(_: [Field]) {}

I get the following panic:

When I make the function constrained:

fn main(args: [Field; 2]) {
    store(args);
}

pub fn store(_: [Field]) {}

all compiles fine.

So the bug seems to be present specifically when casting to a slice which is an argument to an unconstrained function.

Nargo Version

nargo version = 1.0.0-beta.1 noirc version = 1.0.0-beta.1+56ed6e16b975f91a (git version hash: 56ed6e16b975f91a, is dirty: false)