E0073

Warning name: unnecessary_annotation

不必要的类型或包标注。

当类型或包限定符重复了上下文中已经明确的信息时，MoonBit 会报告此警告。移除该限定符可以让代码更简洁，而且不会改变含义。

错误示例

///|
struct Point {
  x : Int
}

///|
fn make_point() -> Point {
  Point::{ x: 1 }
}

///|
test {
  inspect(make_point().x, content="1")
}

建议

移除冗余标注。

///|
priv struct Point {
  x : Int
}

///|
fn make_point() -> Point {
  { x: 1 }
}

///|
test {
  inspect(make_point().x, content="1")
}