diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-05-07 21:54:29 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-05-28 21:47:28 +0200 |
commit | bcdddd98da13e74f47bbf016dba13be74e846e01 (patch) | |
tree | 80b024f9d742efa0673804f7cfd745b3343268be | |
parent | e5ce083d3cbc1e78e3c5f26ca922581d098ba260 (diff) | |
download | dotty-bcdddd98da13e74f47bbf016dba13be74e846e01.tar.gz dotty-bcdddd98da13e74f47bbf016dba13be74e846e01.tar.bz2 dotty-bcdddd98da13e74f47bbf016dba13be74e846e01.zip |
Document why Trees#SelectFromTypeTree cannot be a TypTree
-rw-r--r-- | src/dotty/tools/dotc/ast/Trees.scala | 5 |
1 files changed, 4 insertions, 1 deletions
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] |