Try harder to preserve type information in incorrect code. This leaves a type for IDE completion and other semantically driven features to work with, eg., in the context of code as it's being written.

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@18683 5e8d7ff9-d8ef-0310-90f0-a4852d11357a

src/compiler/scala/tools/nsc/typechecker/Typers.scala

@@ -3217,6 +3217,13 @@ trait Typers { self: Analyzer =>
                  else ""))
           }
           setError(tree)
+
+          val tree1 = tree match {
+            case Select(_, _) => treeCopy.Select(tree, qual, name)
+            case SelectFromTypeTree(_, _) => treeCopy.SelectFromTypeTree(tree, qual, name)
+          }
+          
+          tree1
         } else {
           val tree1 = tree match {
             case Select(_, _) => treeCopy.Select(tree, qual, name)