diff options
author | Martin Odersky <odersky@gmail.com> | 2015-05-18 12:01:21 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-05-21 17:41:15 +0200 |
commit | 17f1c5fc26d2b1390ef5a224c8187dcc10ce0784 (patch) | |
tree | f4aae27663d24227e8d00a92e18ab9957b02fecf /src/dotty/tools/dotc/core/Types.scala | |
parent | 3fa6c8a698c48c40c75871015c59c4d8f1912c0b (diff) | |
download | dotty-17f1c5fc26d2b1390ef5a224c8187dcc10ce0784.tar.gz dotty-17f1c5fc26d2b1390ef5a224c8187dcc10ce0784.tar.bz2 dotty-17f1c5fc26d2b1390ef5a224c8187dcc10ce0784.zip |
Rename for clarity
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 0175ee66c..237d498b0 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -812,10 +812,10 @@ object Types { case pre: RefinedType => if (pre.refinedName ne name) loop(pre.parent) else pre.refinedInfo match { - case TypeAlias(tp) => - if (!pre.refinementRefersToThis) tp - else tp match { - case TypeRef(SkolemType(`pre`), alias) => lookupRefined(alias) + case TypeAlias(alias) => + if (!pre.refinementRefersToThis) alias + else alias match { + case TypeRef(SkolemType(`pre`), aliasName) => lookupRefined(aliasName ) case _ => NoType } case _ => loop(pre.parent) |