Don't report "not found" messages when we are looking for <error>.

odersky · odersky · commit 9b08b8774816 · 2017-05-01T11:17:07.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala b/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala
@@ -216,7 +216,7 @@ trait TypeAssigner {
     else if (site.derivesFrom(defn.DynamicClass) && !Dynamic.isDynamicMethod(name)) {
       TryDynamicCallType
     } else {
-      if (site.isErroneous) UnspecifiedErrorType
+      if (site.isErroneous || name.toTermName == nme.ERROR) UnspecifiedErrorType
       else {
         def kind = if (name.isTypeName) "type" else "value"
         def addendum =
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -354,6 +354,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
         // awaiting a better implicits based solution for library-supported xml
         return ref(defn.XMLTopScopeModuleRef)
       }
+      else if (name.toTermName == nme.ERROR)
+        UnspecifiedErrorType
       else
         errorType(new MissingIdent(tree, kind, name.show), tree.pos)
 

Original file line number	Diff line number	Diff line change
`@@ -354,6 +354,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit`
`354`	`354`	`// awaiting a better implicits based solution for library-supported xml`
`355`	`355`	`return ref(defn.XMLTopScopeModuleRef)`
`356`	`356`	`}`
	`357`	`+ else if (name.toTermName == nme.ERROR)`
	`358`	`+ UnspecifiedErrorType`
`357`	`359`	`else`
`358`	`360`	`errorType(new MissingIdent(tree, kind, name.show), tree.pos)`
`359`	`361`