E4026

E4026#

The field is not found.

Erroneous Example#

struct T { a : Int }
fn main {
  let t = { b: 42 }
}

The example above tries to create a record with a field b, but no record with such a field is found in the current scope, giving the above error on line 3.

Suggestion#

Make sure a record is available in the current scope, defined with the correct field name:

struct T { a : Int }
fn main {
  let t = { a: 42 }
}

... in the fix above, t is inferred to be of type T.