E4044

Compiler diagnostic name: missing_fields_in_record.

Struct or record fields are missing.

When constructing a struct value, every required field must be provided. When matching a struct pattern, either list all fields that matter or use .. to ignore the rest.

Erroneous example

pub(all) struct S {
  a : Int
  b : Int
}

pub let s : S = { a: 1 }
//              ^~~~~~~~
// Error: Record fields b are undefined for type S

Suggestion

Provide all required fields in the struct value.

pub(all) struct S {
  a : Int
  b : Int
}

pub let s : S = { a: 1, b: 2 }