Fix checking for disabled root imports

Needs to be done always when hitting a wildcard import, not just when something was found

Author: odersky

src/dotty/tools/dotc/typer/Typer.scala

@@ -283,9 +283,9 @@ class Typer extends Namer with Applications with Implicits {
        *  from given import info
        */
       def wildImportRef(imp: ImportInfo): Type = {
-        if (imp.isWildcardImport && !(imp.excluded contains name.toTermName)) {
+        if (imp.isWildcardImport) {
           val pre = imp.site
-          if (!isDisabled(imp, pre)) {
+          if (!isDisabled(imp, pre) && !(imp.excluded contains name.toTermName)) {
             val denot = pre.member(name)
             if (reallyExists(denot)) return pre.select(name, denot)
           }
@@ -1024,7 +1024,7 @@ class Typer extends Namer with Applications with Implicits {
     }
   }
 
-  def typed(tree: untpd.Tree, pt: Type = WildcardType)(implicit ctx: Context): Tree = ctx.traceIndented (s"typing ${tree.show}", typr, show = true) {
+  def typed(tree: untpd.Tree, pt: Type = WildcardType)(implicit ctx: Context): Tree = /*>|>*/ ctx.traceIndented (s"typing ${tree.show}", typr, show = true) /*<|<*/ {
     if (!tree.isEmpty && ctx.typerState.isGlobalCommittable) assert(tree.pos.exists, tree)
     try adapt(typedUnadapted(tree, pt), pt)
     catch {
@@ -1090,8 +1090,8 @@ class Typer extends Namer with Applications with Implicits {
       fallBack
     }
 
-  def adapt(tree: Tree, pt: Type)(implicit ctx: Context) = track("adapt") {
-    ctx.traceIndented(i"adapting $tree of type ${tree.tpe} to $pt", typr, show = true) {
+  def adapt(tree: Tree, pt: Type)(implicit ctx: Context) = /*>|>*/ track("adapt") /*<|<*/ {
+    /*>|>*/ ctx.traceIndented(i"adapting $tree of type ${tree.tpe} to $pt", typr, show = true) /*<|<*/ {
       interpolateUndetVars(tree)
       tree overwriteType tree.tpe.simplified
       adaptInterpolated(tree, pt)

tests/neg/rootImplicits.scala

@@ -0,0 +1,11 @@
+package test
+
+import dotty._
+import Predef.{any2stringadd => _, _}
+
+object rootImplicits {
+
+  println((new Object()) + "abc")    // error: `+` is not  member of Object
+  println(any2stringadd(new Object()) + "abc")  // error: not found: any2stringadd
+
+}