current package not preferred over imported package

[olhotak]

I have three files:

package foo

object A {
  val x = 5
}

package foo.bar

object A {
  val x = "foo"
}

package foo
import foo.bar._

object B {
  val y: Int = A.x
}

They compile with Scala 2.12. With Dotty, I get:

-- [E007] Type Mismatch Error: /tmp/foo/B.scala:5:17 ---------------------------
5 |  val y: Int = A.x
  |               ^^^
  |               found:    String(foo.bar.A.x)
  |               required: Int
  |               
one error found

In object foo.B, Scala 2.12 prefers foo.A over foo.bar.A because foo.A is in the same package. But Dotty seems to prefer foo.bar.A over foo.A because foo.bar.A is being imported.

[milessabin]

See also: scala/bug#2458.

I prefer Dotty's behaviour and I'd like to see it backported to Scala 2.

[allanrenucci]

This is intended. If you compile with -language:Scala2, you get:

-- Migration Warning: Test.scala:16:17 -----------------------------
16 |    val y: Int = A.x
   |                 ^
   |               Name resolution will change.
   |                currently selected                     : foo.A.type
   |                in the future, without -language:Scala2: foo.bar.A'.type
   |               
   |               where:    A  is a object in package foo
   |                         A' is a object in package bar
one warning found

[milessabin]

@allanrenucci s/Not/Note/ ?

[allanrenucci]

Oops. I meant "Note". Closing since it is intended behaviour

[SethTisue]

I prefer Dotty's behaviour and I'd like to see it backported to Scala 2.

you mean scala/scala#6589?

[milessabin]

@SethTisue how did I miss that?! 😄