test/files/neg/t3995.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

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

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

object Test {
  val l = new Lift
  val f = ""

  "": 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:
  //
  // "@return For those parts that refer to classes with companion objects that
  // can be accessed with unambiguous stable prefixes, the implicits infos
  // which are members of these companion objects."
  //
  // The skolem is stable, but it does not seem much good to us
  (new Lift).apply("")
}