E4030

结构体没有指定的字段。

错误示例：

struct T { a : Int }
let t : T = { a: 42 }
let u : T = { ..t, b: 43 }

在上述例子中，试图将一个更新后的带有字段 b 的结构体赋值给一个类型为 T 的变量 u，但这个字段不存在 T 中，在第 3 行报错：

The record type T does not have the field b.

建议

确保使用正确的字段：

struct T { a : Int }
let t : T = { a: 42 }
let u : T = { ..t, a: 43 }