diff options
author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2012-10-02 08:17:29 -0700 |
---|---|---|
committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2012-10-02 08:17:29 -0700 |
commit | 5ac896d7c512b7858c2558bae6b3bd95f5dd5bde (patch) | |
tree | ed1cc9067119f3a35b9e7fa4bacf28e97d6377b2 /src | |
parent | 2c6bd830b73e9907aa710360ad45a25b5a6d63a9 (diff) | |
parent | d892e8b3b215d39f00fbbcdb202baf5329c39815 (diff) | |
download | scala-5ac896d7c512b7858c2558bae6b3bd95f5dd5bde.tar.gz scala-5ac896d7c512b7858c2558bae6b3bd95f5dd5bde.tar.bz2 scala-5ac896d7c512b7858c2558bae6b3bd95f5dd5bde.zip |
Merge pull request #1423 from paulp/issue/5130
Fix for SI-5130, precision disappearing from refinement.
Diffstat (limited to 'src')
-rw-r--r-- | src/reflect/scala/reflect/internal/Types.scala | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/reflect/scala/reflect/internal/Types.scala b/src/reflect/scala/reflect/internal/Types.scala index 60544e9cf8..fbd848a2f9 100644 --- a/src/reflect/scala/reflect/internal/Types.scala +++ b/src/reflect/scala/reflect/internal/Types.scala @@ -3534,12 +3534,6 @@ trait Types extends api.Types { self: SymbolTable => val pre1 = pre match { case x: SuperType if sym1.isEffectivelyFinal || sym1.isDeferred => x.thistpe - case _: CompoundType if sym1.isClass => - // sharpen prefix so that it is maximal and still contains the class. - pre.parents.reverse dropWhile (_.member(sym1.name) != sym1) match { - case Nil => pre - case parent :: _ => parent - } case _ => pre } if (pre eq pre1) TypeRef(pre, sym1, args) |