diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-09 14:41:21 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-09 14:41:21 +0100 |
commit | 3c159db66a2a6bb7ead0cec6a945dfe70d03186b (patch) | |
tree | 5268d1552d06f281c70a8ea7ee1a3f6ea051cfa1 | |
parent | ee191f38efc9cd0ca05823499c1a8abf7883ff5e (diff) | |
download | dotty-3c159db66a2a6bb7ead0cec6a945dfe70d03186b.tar.gz dotty-3c159db66a2a6bb7ead0cec6a945dfe70d03186b.tar.bz2 dotty-3c159db66a2a6bb7ead0cec6a945dfe70d03186b.zip |
Simplification for lookupRefined
Dropped a member calculation which was unncessessary and which would not work
anymore if RefinedThis types lost their RefinedType target field.
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 21997c5fa..f877b8e84 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -773,11 +773,7 @@ object Types { case pre: RefinedType => if (pre.refinedName ne name) loop(pre.parent) else pre.refinedInfo match { - case TypeAlias(tp) if !pre.refinementRefersToThis => - this.member(name).info match { - case TypeAlias(tp) => tp - case _ => NoType - } + case TypeAlias(tp) if !pre.refinementRefersToThis => tp case _ => loop(pre.parent) } case RefinedThis(rt, _) => |