在折叠操作中@unchecked的正确语法是什么

Question

我有一个类似以下内容的折叠操作：

val ops: Seq[Op] ...
(x /: ops) { case (y, MyOp(z)) =>
...
}

OP可以具有Myop以外的许多类型，但在这种情况下，我知道OPS都是Myops，因此我想添加@unchecked注释以删除编译器警告。

我应该在此示例中放置@uncheck？

Answer 1

尝试

(x /: ops)((y0, op) => 
  ((y0, op): @unchecked) match { 
    case (y, MyOp(z)) => ??? 
  }
)

https://www.scala-lang.org/files/archive/spec/spec/2.11/11-annotations.html#scala-compiler-annotiations