blob: de79b84e75ded62a1d39491fbfcad9883fcf4c38 (
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
|
import scala.tools.nsc._
object Test {
/**
* Type inference overlooks constraints posed by type parameters in annotations on types.
*/
val testCode = <code>
class posingAs[A] extends TypeConstraint
def resolve[A,B](x: A @posingAs[B]): B = x.asInstanceOf[B]
val x = resolve(7: @posingAs[Any])
</code>.text
def main(args: Array[String]) = {
val tool = new Interpreter(new Settings())
val global = tool.compiler
// when running that compiler, give it a scala-library to the classpath
global.settings.classpath.value = System.getProperty("java.class.path")
import global._
import definitions._
object checker extends AnnotationChecker {
/** Check annotations to decide whether tpe1 <:< tpe2 */
def annotationsConform(tpe1: Type, tpe2: Type): Boolean = {
tpe1.annotations.forall(a1 => tpe2.annotations.forall(a2 => a1.atp <:< a2.atp))
}
}
global.addAnnotationChecker(checker)
tool.interpret(testCode)
}
}
|
