Fix for spurious implicit ambiguity with package objects.

Closes SI-3999.  Review by @odersky.

2 files changed, 16 insertions, 0 deletions

diff --git a/test/files/pos/t3999/a_1.scala b/test/files/pos/t3999/a_1.scala
new file mode 100644
index 0000000000..25366ee9c4
--- /dev/null
+++ b/test/files/pos/t3999/a_1.scala
@@ -0,0 +1,9 @@
+package foo
+
+class Outside
+
+package object bar {
+  class Val(b: Boolean)
+  implicit def boolean2Val(b: Boolean) = new Val(b)
+  implicit def boolean2Outside(b: Boolean) = new Outside
+}
\ No newline at end of file
diff --git a/test/files/pos/t3999/b_2.scala b/test/files/pos/t3999/b_2.scala
new file mode 100644
index 0000000000..1af82c8c5b
--- /dev/null
+++ b/test/files/pos/t3999/b_2.scala
@@ -0,0 +1,7 @@
+package foo
+package bar
+
+class A {
+  val s: Val = false
+  val o: Outside = false
+}
\ No newline at end of file