scala/scala-dist — pull request #131 by Blaisorblade (2014-02-16 19:51:03+00:00)
Title: SI-6566, type alias bodies are invariant: update spec

Reflect the fix to SI-6566 inside the spec. In fact, even the more relaxed behavior before SI-6566 was not documented.

Moreover, mention the exception for object-private/protected types —
the following code compiles:

trait Fun0[-S, +T] {
protected[this] type Eval = S => T
}

Review by @adriaanm.