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

2 files changed, 8 insertions, 1 deletions

diff --git a/test/files/neg/t3995.check b/test/files/neg/t3995.check
index 844150a528..00ecf4ca5b 100644
--- a/test/files/neg/t3995.check
+++ b/test/files/neg/t3995.check
@@ -1,4 +1,4 @@
-t3995.scala:24: error: type mismatch;
+t3995.scala:31: error: type mismatch;
  found   : String("")
  required: _1.F0 where val _1: Lift
   (new Lift).apply("")
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:
   //