diff options
author | Paul Phillips <paulp@improving.org> | 2012-09-28 22:03:39 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-01-30 03:50:28 -0800 |
commit | 77ec4ef5210c4f023a07c1d719806c4d7231cf09 (patch) | |
tree | 3dee675bdcadfc23047c0304d748520e14c599d8 /src | |
parent | faca7ec04746ffa8031ae242bac82b2292e93924 (diff) | |
download | scala-77ec4ef5210c4f023a07c1d719806c4d7231cf09.tar.gz scala-77ec4ef5210c4f023a07c1d719806c4d7231cf09.tar.bz2 scala-77ec4ef5210c4f023a07c1d719806c4d7231cf09.zip |
SI-5130, precision disappearing from refinement.
[backport]
Remove some code, win a prize.
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 6a4730b715..26708cff55 100644 --- a/src/reflect/scala/reflect/internal/Types.scala +++ b/src/reflect/scala/reflect/internal/Types.scala @@ -3592,12 +3592,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) |