Как черта NotNull работает в 2,8, и кто-либо на самом деле использует ее?

trait NotNull {}

Я пытался видеть, как эта черта может гарантировать, что что-то не является пустым, и я не могу понять это:

def main(args: Array[String]) {
  val i = List(1, 2) 
  foo(i) //(*)
}

def foo(a: Any) = println(a.hashCode)

def foo(@NotNull a: Any) = println(a.hashCode) //compile error: trait NotNull is abstract

def foo(a: Any with NotNull) = println(a.hashCode) //compile error: type mismatch at (*)

И:

val i = new Object with NotNull //compile-error illegal inheritance

Существует, очевидно, некоторое специальное продолжение обработки компилятора, потому что это компилирует:

trait MyTrait {}

def main(args: Array[String]) {
  val i: MyTrait = null
  println(i)
}

Принимая во внимание, что это не делает:

def main(args: Array[String]) {
  val i: NotNull = null //compile error: found Null(null) required NotNull
  println(i)
} 

Править: нет ничего об этом, я могу найти в программировании в Scala