From fa62cff53d8d568670eadf64b3accee6f6e6d030 Mon Sep 17 00:00:00 2001
From: Ondrej Lhotak <olhotak@uwaterloo.ca>
Date: Mon, 8 Dec 2014 16:36:40 +0100
Subject: handle AnnotatedTypes transparently in Tree.denot

---
 src/dotty/tools/dotc/ast/Trees.scala | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/dotty')

diff --git a/src/dotty/tools/dotc/ast/Trees.scala b/src/dotty/tools/dotc/ast/Trees.scala
index 05e3b84d7..002287076 100644
--- a/src/dotty/tools/dotc/ast/Trees.scala
+++ b/src/dotty/tools/dotc/ast/Trees.scala
@@ -266,6 +266,11 @@ object Trees {
     override def denot(implicit ctx: Context) = tpe match {
       case tpe: NamedType => tpe.denot
       case tpe: ThisType => tpe.cls.denot
+      case tpe: AnnotatedType => tpe.stripAnnots match {
+        case tpe: NamedType => tpe.denot
+        case tpe: ThisType => tpe.cls.denot
+        case _ => NoDenotation
+      }
       case _ => NoDenotation
     }
   }
-- 
cgit v1.2.3