¿Cuándo se necesita @uncheckedVariance en Scala y por qué se usa en GenericTraversableTemplate?

En mi tesis describo un cálculo, Scalina, que tiene anotaciones de límites y varianza como parte del lenguaje tipo (una versión anterior también está disponible como un documento de taller ). La relevancia de esta discusión es el siguiente paso que quiero dar en el desarrollo de este cálculo: construir otra capa encima de eso para que pueda abstraer sobre los límites (fácil) y anotaciones de varianza (hace que mi cabeza gire). En realidad, no solo agregaría 1 capa adicional allí, sino que generalizaría su construcciones de polimorfismo para que funcionen en todos los niveles, y hagan sus "atributos" (límites, anotaciones de varianza, argumentos implícitos requeridos,...) en tipos regulares con tipos especiales, que están sujetos a abstracción.

La idea de "los atributos son tipos" es explicada muy bien por Edsko de Vries en el contexto de los tipos de unicidad.

Uniqueness Typing Simplified, Edsko de Vries, Rinus Plasmeijer y David Abrahamson. En Olaf Chitil, Zoltán Horváth y Viktória Zsók (Eds.): IFL 2007, LNCS 5083, pp 201-218, 2008.

Resumen: Presentamos un tipo de unicidad sistema que es más simple que ambos Sistema de singularidad de Clean y sistema que propusimos anteriormente. El nuevo tipo de sistema es sencillo implementar y agregar a los existentes compiladores, y se puede extender fácilmente con características avanzadas tales como más alto tipos de rango e impredicatividad. Nos describir nuestra implementación en Morrow, un lenguaje funcional experimental con ambas características. Finalmente, probar la solidez del tipo de núcleo sistema con respecto a la call-by-need cálculo lambda.

Encontré otra vez donde se usa @uncheckedVariance the el método sintético que devuelve el valor predeterminado para un parámetro de tipo abstracto:

M:\>scala -Xprint:typer -e "class C { def p[T >: Null](t: T = null) = t }"
[[syntax trees at end of typer]]// Scala source: (virtual file)
package <empty> {
  final object Main extends java.lang.Object with ScalaObject {
    def this(): object Main = {
      Main.super.this();
      ()
    };
    def main(argv: Array[String]): Unit = {
      val args: Array[String] = argv;
      {
        final class $anon extends scala.AnyRef {
          def this(): anonymous class $anon = {
            $anon.super.this();
            ()
          };
          class C extends java.lang.Object with ScalaObject {
            <synthetic> def p$default$1[T >: Null <: Any]: Null @scala.annotation.unchecked.uncheckedVariance = null;
            def this(): this.C = {
              C.super.this();
              ()
            };
            def p[T >: Null <: Any](t: T = null): T = t
          }
        };
        {
          new $anon();
          ()
        }
      }
    }
  }