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
.