aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/ast/Trees.scala
diff options
context:
space:
mode:
authorOndrej Lhotak <olhotak@uwaterloo.ca>2014-12-08 16:36:40 +0100
committerOndrej Lhotak <olhotak@uwaterloo.ca>2014-12-13 21:52:43 +0100
commitfa62cff53d8d568670eadf64b3accee6f6e6d030 (patch)
tree09b1cf2353833bc14b4dca9b85b47a34ad66718d /src/dotty/tools/dotc/ast/Trees.scala
parenta862c6ac14d0645ee0e44ff9b447975a4d7d61ba (diff)
downloaddotty-fa62cff53d8d568670eadf64b3accee6f6e6d030.tar.gz
dotty-fa62cff53d8d568670eadf64b3accee6f6e6d030.tar.bz2
dotty-fa62cff53d8d568670eadf64b3accee6f6e6d030.zip
handle AnnotatedTypes transparently in Tree.denot
Diffstat (limited to 'src/dotty/tools/dotc/ast/Trees.scala')
-rw-r--r--src/dotty/tools/dotc/ast/Trees.scala5
1 files changed, 5 insertions, 0 deletions
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
}
}