scala-specialized-annotation