ICE: Internal Consistency Evaluators Errors

[nventuro]

Aim

Trying to come up with a simpler example for #4497 I run into this other bug.

Expected Behavior

While modifying my example to try to trigger the bug in #4497 I arrived at this. The addition of the N type argument triggered this bug. I'm not entirely sure if the following code should compile or not given that N cannot be inferred, but is also unused.

struct Parameters<T, N> {
    values: BoundedVec<Option<T>, N>
}

impl<T, N> Parameters<T, N> {
    pub fn new() -> Self {
        Parameters { values: BoundedVec::new() }
    }
}

struct Struct<T> {}

impl<T> Struct<T> {
    pub fn call_fn<N>(self, parameters: Parameters<T, N>) -> [Option<T>; 5] {
        [Option::none(); 5]
    }
}

fn main() {
    let ztruct: Struct<Field> = Struct {};
    let parameters = Parameters::new();

    // Causes an ICE
    let _ = ztruct.call_fn(parameters);
}

Bug

error: Internal Consistency Evaluators Errors: 

                This is likely a bug. Consider opening an issue at https://github.com/noir-lang/noir/issues
  ┌─ std/collections/bounded_vec.nr:1:1
  │
1 │ struct BoundedVec<T, MaxLen> {
  │ - Length of generic array could not be determined.
  │
  = Call stack:
    1. std/collections/bounded_vec.nr:9:31

Installation Method

Compiled from source

Nargo Version

nargo version = 0.24.0 noirc version = 0.24.0+f3dfb453df81eee0f7c6d8dc37f998cd14d75004 (git version hash: f3dfb453df81eee0f7c6d8dc37f998cd14d75004, is dirty: false)

[TomAFrench]

struct Parameters<T, let N: u32> {
    values: BoundedVec<Option<T>, N>
}

impl<T, let N: u32> Parameters<T, N> {
    pub fn new() -> Self {
        Parameters { values: BoundedVec::new() }
    }
}

struct Struct<T> {}

impl<T> Struct<T> {
    pub fn call_fn<let N: u32>(self, parameters: Parameters<T, N>) -> [Option<T>; 5] {
        [Option::none(); 5]
    }
}

fn main() {
    let ztruct: Struct<Field> = Struct {};
    let parameters = Parameters::new();

    // Causes an ICE
    let _ = ztruct.call_fn(parameters);
}

This now fails to compile with

$ nargo compile
error: Type annotation needed
   ┌─ src/main.nr:21:34
   │
21 │     let parameters = Parameters::new();
   │                                  --- Could not determine type of generic argument
   │
   = Call stack:
     1. src/main.nr:21:34

Aborting due to 1 previous error