E0075

Warning name: unnecessary_view_op

不必要的 [:] 视图操作。

当期望类型已经是视图类型时，MoonBit 可以自动插入视图转换。在这种上下文中显式写出 [:] 是冗余的。

错误示例

///|
fn length(view : ArrayView[Int]) -> Int {
  view.length()
}

///|
test {
  inspect(length([1, 2, 3][:]), content="3")
}

建议

移除冗余的 [:]。

///|
fn length(view : ArrayView[Int]) -> Int {
  view.length()
}

///|
test {
  inspect(length([1, 2, 3]), content="3")
}