¿Qué anotaciones de Scala modifican los mensajes del compilador?

Question

lo que sé de dos:

• @deprecated("use blabla instead") se utiliza para añadir una explicación a la salida de advertencia por el compilador cuando la definición anotada se utiliza en el código de cliente.

• @implicitNotFound(msg = "more meaningful explanation") se utiliza para generar un mensaje de error adicional cuando no se puede encontrar un implícito del tipo de la definición anotada. En cuanto a CanBuildFrom, msg pueden contener marcadores de posición del tipo ${A} si A es el nombre de un parámetro de tipo del tipo anotada, que se llena en el compilador con el tipo esperado real, por ejemplo:

  @implicitNotFound(msg = "Cannot construct a collection of type ${To} with elements of type ${Elem} based on a collection of type ${To}.") 
  trait CanBuildFrom[-From, -Elem, +To] { ... } 
  

¿Hay alguna otra anotación similar?

Answer 1

Hay @migration, que se usa con -Xmigration para indicar cambios semánticos en los métodos de una versión a otra, para ayudar a codificar el puerto entre las versiones.

@migration(2, 8, "As of 2.8, keys returns Iterable[A] rather than Iterator[A].") 

Answer 2

Hay @tailrec, que hace que el compilador muestre un error si la optimización de la cola de llamada no se puede aplicar al método anotado.

Answer 3

A partir de Scala 2.9, también hay @deprecatedName: "Anotación que designa el nombre del parámetro al que se aplica como obsoleto. Usar ese nombre en un argumento con nombre genera una advertencia de desaprobación. "