blob: a2adad415fa06267efa85f0c84f1f0bd79ef1ae3 (
plain) (
blame)
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
|
case class T1(source: String)
object T1 {
implicit def T1FromT2(implicit t2: T2): T1 = new T1(t2.source)
}
case class T2(source: String)
object A {
def requireT1(implicit t1: T1) = t1
object B1 {
implicit val t2_b1: T2 = new T2("from B1")
requireT1
}
object B2 {
def t1 = {
implicit val t2_b2: T2 = new T2("from B2")
// Implicits.cacheResult returns T1.T1FromT2(t2_b1) here, which is bogus. Even though T1.T1FromT2 was found
// outside of the scope of A.B1, this implicit expression should _not_ be cached, as it includes the bound
// variable t2_b1 from this scope.
requireT1
}
}
}
object Test {
def main(args: Array[String]): Unit = {
assert(A.B2.t1.source == "from B2")
}
}
|