From 17f1c5fc26d2b1390ef5a224c8187dcc10ce0784 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 18 May 2015 12:01:21 +0200 Subject: Rename for clarity --- src/dotty/tools/dotc/core/Types.scala | 8 ++++---- 1 file 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) -- cgit v1.2.3