scala/scala — pull request #819 by xeno-by (2012-07-03 23:13:20+00:00)
Title: SI-5959 type equality now accounts for mirrors

TypeRef(ThisType(), sym, args) should always be equal to
TypeRef(ThisType(), sym, args) regardless of whether
package1 and package2 actually represent the same symbols of not.

Same goes for subtyping (<:<) and type equality (=:=).

This is done to account for the fact that mirrors share normal symbols,
but never share package symbols. Therefore at times it will occur that
the same types loaded by different mirrors appear different because of
the package symbols. More details: https://issues.scala-lang.org/browse/SI-5959.