Merge pull request #1163 from dotty-staging/fix-#1145

Fix bug where ambiguous references were not reported

Author: smarter

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

@@ -232,7 +232,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
           }
         }
         val curImport = ctx.importInfo
-        if (curImport != null && curImport.isRootImport && previous.exists) return previous
+        if (ctx.owner.is(Package) && curImport != null && curImport.isRootImport && previous.exists)
+          return previous // no more conflicts possible in this case
         // would import of kind `prec` be not shadowed by a nested higher-precedence definition?
         def isPossibleImport(prec: Int) =
           prevPrec < prec || prevPrec == prec && (prevCtx.scope eq ctx.scope)

tests/neg/i1145.scala

@@ -0,0 +1,11 @@
+object A {
+   def x = 3
+
+   def y = {
+     import B._
+     x  // error: ambiguous
+   }
+}
+object B {
+  def x = 3
+}