Constructors do not check the required number of fields

[jfecher]

Aim

Trying to construct a struct type by providing it the incorrect number of fields (on accident):

struct TwoFields {
    first: Field,
    second: Field,
}

fn main() {
    let _foo = TwoFields { first: 0 };
}

Expected behavior

The compiler should issue an error explaining that the second field is missing from the constructor.

Bug

Instead, the compiler continues until type checking fails an assert check for the number of fields.

To reproduce

Installation method

None

Nargo version

No response

@noir-lang/noir_wasm version

No response

@noir-lang/barretenberg version

No response

@noir-lang/aztec_backend version

No response

Additional context

No response

Submission Checklist

• Once I hit submit, I will assign this issue to the Project Board with the appropriate tags.