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

Question

我有一个折叠操作，如下所示:

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

Op 可以有除 MyOp 之外的许多类型，但我知道在这种情况下，ops 都是 MyOps，所以我想添加一个 @unchecked 注释来删除编译器警告。

在这个例子中，我应该把@unchecked 放在哪里？

Answer 1

尝试

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

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