From bcdddd98da13e74f47bbf016dba13be74e846e01 Mon Sep 17 00:00:00 2001 From: Guillaume Martres Date: Sat, 7 May 2016 21:54:29 +0200 Subject: Document why Trees#SelectFromTypeTree cannot be a TypTree --- src/dotty/tools/dotc/ast/Trees.scala | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/dotty/tools/dotc/ast/Trees.scala b/src/dotty/tools/dotc/ast/Trees.scala index be3e2eb5f..7463449c5 100644 --- a/src/dotty/tools/dotc/ast/Trees.scala +++ b/src/dotty/tools/dotc/ast/Trees.scala @@ -559,7 +559,10 @@ object Trees { type ThisTree[-T >: Untyped] = SingletonTypeTree[T] } - /** qualifier # name */ + /** qualifier # name + * In Scala, this always refers to a type, but in a Java + * compilation unit this might refer to a term. + */ case class SelectFromTypeTree[-T >: Untyped] private[ast] (qualifier: Tree[T], name: Name) extends RefTree[T] { type ThisTree[-T >: Untyped] = SelectFromTypeTree[T] -- cgit v1.2.3