blob: e7282424f2c73269b7f140c400489d91c531f070 (
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
|
package scala.async
package run
package uncheckedBounds
import org.junit.{Test, Assert}
import scala.async.TreeInterrogation
class UncheckedBoundsSpec {
@Test def insufficientLub_SI_7694() {
eval( s"""
object Test {
import _root_.scala.async.run.toughtype._
import _root_.scala.async.internal.AsyncId.{async, await}
async {
(if (true) await(null: L[A, A]) else await(null: L[B, B]))
}
}
""", compileOptions = s"-cp ${toolboxClasspath} ")
}
@Test def insufficientLub_SI_7694_ScalaConcurrent() {
eval( s"""
object Test {
import _root_.scala.async.run.toughtype._
import _root_.scala.async.Async.{async, await}
import scala.concurrent._
import scala.concurrent.ExecutionContext.Implicits.global
async {
(if (true) await(null: Future[L[A, A]]) else await(null: Future[L[B, B]]))
}
}
""", compileOptions = s"-cp ${toolboxClasspath} ")
}
}
|