From cab8ea440bffbabe56f3860f6fb319b4334a6def Mon Sep 17 00:00:00 2001
From: Jason Zaugg <jzaugg@gmail.com>
Date: Wed, 5 Dec 2012 16:17:53 +0100
Subject: Expand test with a stably qualified example.

In the example below, we need a view from
`String => l.F0`, and the companion object `FO` is
reachable by a stable, non existentially-bound path.

    class Lift {
      def apply(f: F0) {}

      class F0
      object F0 {
        implicit def f2f0(fn: String): F0 = ???
      }
    }

    object Test {
      val l = new Lift
      l.apply("") // okay
    }

Followup for SI-3995
---
 test/files/neg/t3995.scala | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'test/files/neg/t3995.scala')

diff --git a/test/files/neg/t3995.scala b/test/files/neg/t3995.scala
index 8eb4698aaa..b03617ac86 100644
--- a/test/files/neg/t3995.scala
+++ b/test/files/neg/t3995.scala
@@ -13,6 +13,13 @@ object Test {
 
   "": l.F0 // okay
 
+  l.apply("") // okay
+
+  {
+    val l = new Lift
+    l.apply("") // okay
+  }
+
   // fails trying to mkAttributedQualifier for pre = Skolem(_1 <: Lift with Singletom).F0
   // should this even have shown up in `companionImplicitMap`? It says that:
   //
-- 
cgit v1.2.3