Merge pull request #282 from dotty-staging/fix/i0239-package-objects

Fix #239 - handling of package objects

2 files changed, 35 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
+}
diff --git a/tests/pos/i239-packageObj.scala b/tests/pos/i239-packageObj.scala
new file mode 100644
index 000000000..057bc1eec
--- /dev/null
+++ b/tests/pos/i239-packageObj.scala
@@ -0,0 +1,11 @@
+package p {
+  class C[A] { def foo: A = ??? }
+
+  object `package` extends C[String]
+}
+
+object test {
+
+  val x: String = p.foo
+
+}