summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGrzegorz Kossakowski <grzegorz.kossakowski@gmail.com>2012-10-02 08:17:29 -0700
committerGrzegorz Kossakowski <grzegorz.kossakowski@gmail.com>2012-10-02 08:17:29 -0700
commit5ac896d7c512b7858c2558bae6b3bd95f5dd5bde (patch)
treeed1cc9067119f3a35b9e7fa4bacf28e97d6377b2 /src
parent2c6bd830b73e9907aa710360ad45a25b5a6d63a9 (diff)
parentd892e8b3b215d39f00fbbcdb202baf5329c39815 (diff)
downloadscala-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.scala6
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)