blob: b0ecf13cb8575ecf590651a0e19c6bc24b323bfc (
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
/*
* Copyright (C) 2012-2014 Typesafe Inc. <http://www.typesafe.com>
*/
package scala.async
package run
package ifelse4
import language.{reflectiveCalls, postfixOps}
import scala.concurrent.{Future, ExecutionContext, future, Await}
import scala.concurrent.duration._
import scala.async.Async.{async, await}
import org.junit.Test
class TestIfElse4Class {
import ExecutionContext.Implicits.global
class F[A]
class S[A](val id: String)
trait P
case class K(f: F[_])
def result[A](f: F[A]) = async {
new S[A with P]("foo")
}
def run(k: K) = async {
val res = await(result(k.f))
// these triggered a crash with mismatched existential skolems
// found : S#10272[_$1#10308 with String#137] where type _$1#10308
// required: S#10272[_$1#10311 with String#137] forSome { type _$1#10311 }
// This variation of the crash could be avoided by fixing the over-eager
// generation of states in `If` nodes, which was caused by a bug in label
// detection code.
if(true) {
identity(res)
}
// This variation remained after the aforementioned fix, however.
// It was fixed by manually typing the `Assign(liftedField, rhs)` AST,
// which is how we avoid these problems through the rest of the ANF transform.
if(true) {
identity(res)
await(result(k.f))
}
res
}
}
class IfElse4Spec {
@Test
def `await result with complex type containing skolem`() {
val o = new TestIfElse4Class
val fut = o.run(new o.K(null))
val res = Await.result(fut, 2 seconds)
res.id mustBe ("foo")
}
}
|