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("")
}
|
