Fix to asSeenFrom for package object members

Like TypeAssigner, asSeenFrom needs to insert a package object if the
prefix is a package but the class enclosing the type is not.

1 files changed, 24 insertions, 0 deletions

diff --git a/tests/pos/i0239.scala b/tests/pos/i0239.scala
new file mode 100644
index 000000000..0dfba7ea0
--- /dev/null
+++ b/tests/pos/i0239.scala
@@ -0,0 +1,24 @@
+package p {
+  class C[A] {
+    implicit def foo: M[A] = ???
+  }
+
+  object `package` extends C[String]
+
+  object test0 {
+    def compute[A](implicit m: M[A]): A = ???
+    val v = compute
+    val v1: String = v
+  }
+}
+
+trait M[A]
+
+object test1 {
+
+  def compute[A](implicit m: M[A]): A = ???
+
+  import p._
+  val v = compute
+  val v1: String = v
+}