From bfb328ff64dcfa103c91dd0cd55a617e370d6ef3 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 27 Aug 2014 10:48:16 +0200
Subject: Make ThisTypes take TypeRefs instead of ClassSymbols

This avoids stale symbol errors and does not need the somewhat
unsystematic symbol rebinding of the last commit.
---
 src/dotty/tools/dotc/ast/Trees.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/dotty/tools/dotc/ast/Trees.scala')

diff --git a/src/dotty/tools/dotc/ast/Trees.scala b/src/dotty/tools/dotc/ast/Trees.scala
index 554517cd7..49294718b 100644
--- a/src/dotty/tools/dotc/ast/Trees.scala
+++ b/src/dotty/tools/dotc/ast/Trees.scala
@@ -387,7 +387,7 @@ object Trees {
     type ThisTree[-T >: Untyped] <: DenotingTree[T]
     override def denot(implicit ctx: Context) = tpe match {
       case tpe: NamedType => tpe.denot
-      case ThisType(cls) => cls.denot
+      case tpe: ThisType => tpe.cls.denot
       case _ => NoDenotation
     }
   }
-- 
cgit v1.2.3