diff options
| -rw-r--r-- | src/dotty/tools/dotc/ast/Trees.scala | 5 |
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 } } |