Eliminate SelectFromTypeTree from docs

Author: odersky

docs/SyntaxSummary.txt

@@ -105,7 +105,7 @@ grammar.
   WithType          ::=  AnnotType {`with' AnnotType}                           (deprecated)
   AnnotType         ::=  SimpleType {Annotation}                                Annotated(t, annot)
   SimpleType        ::=  SimpleType (TypeArgs | NamedTypeArgs)                  AppliedTypeTree(t, args)
-                      |  SimpleType `#' id                                      SelectFromTypeTree(t, name)
+                      |  SimpleType `#' id                                      Select(t, name)
                       |  StableId
                       |  Path `.' `type'                                        SingletonTypeTree(p)
                       |  `(' ArgTypes ')'                                       Tuple(ts)

src/dotty/tools/dotc/parsing/JavaParsers.scala

@@ -281,11 +281,8 @@ object JavaParsers {
         if (in.token == FINAL) in.nextToken()
         if (in.token == IDENTIFIER) {
           var t = typeArgs(atPos(in.offset)(Ident(ident())))
-          // typeSelect generates Select nodes is the lhs is an Ident or Select,
-          // SelectFromTypeTree otherwise. See #3567.
-          // Select nodes can be later
-          // converted in the typechecker to SelectFromTypeTree if the class
-          // turns out to be an instance inner class instead of a static inner class.
+          // typeSelect generates Select nodes if the lhs is an Ident or Select,
+          // For other nodes it always assumes that the selected item is a type.
           def typeSelect(t: Tree, name: Name) = t match {
             case Ident(_) | Select(_, _) => Select(t, name)
             case _ => Select(t, name.toTypeName)

src/dotty/tools/dotc/transform/TreeChecker.scala

@@ -200,7 +200,6 @@ class TreeChecker extends Phase with SymTransformer {
     def checkIdentNotJavaClass(tree: Tree)(implicit ctx: Context): Unit = tree match {
       // case tree: untpd.Ident =>
       // case tree: untpd.Select =>
-      // case tree: untpd.SelectFromTypeTree =>
       // case tree: untpd.Bind =>
       case vd : ValDef =>
         assertIdentNotJavaClass(vd.forceIfLazy)