E4173

编译器诊断名称：invalid_value_type_attr。

无效的 #valtype 声明。

#valtype 要求编译器将类型表示为值类型。值类型的字段必须不可变，因此包含可变字段的声明会被拒绝。

错误示例

#valtype
struct Counter {
  mut value : Int
}

字段 value 是可变的。

建议

将该字段改为不可变；如果该类型需要原地修改，则移除 #valtype。

#valtype
struct Point {
  x : Int
  y : Int
}