summaryrefslogtreecommitdiff
path: root/test/files/run/t1500.scala
diff options
context:
space:
mode:
authorHubert Plociniczak <hubert.plociniczak@epfl.ch>2011-11-02 14:34:35 +0000
committerHubert Plociniczak <hubert.plociniczak@epfl.ch>2011-11-02 14:34:35 +0000
commitb6778be91900b8161e705dc2598ef7af86842b0b (patch)
treed15e8ec18a37eec212f50f1ace27714d7e7d4d34 /test/files/run/t1500.scala
parentac6c76f26d884a94d0c9ff54f055d3f9ab750bac (diff)
downloadscala-b6778be91900b8161e705dc2598ef7af86842b0b.tar.gz
scala-b6778be91900b8161e705dc2598ef7af86842b0b.tar.bz2
scala-b6778be91900b8161e705dc2598ef7af86842b0b.zip
Begone t1737...
Diffstat (limited to 'test/files/run/t1500.scala')
-rw-r--r--test/files/run/t1500.scala24
1 files changed, 12 insertions, 12 deletions
diff --git a/test/files/run/t1500.scala b/test/files/run/t1500.scala
index ce6278cd05..c312a9a883 100644
--- a/test/files/run/t1500.scala
+++ b/test/files/run/t1500.scala
@@ -1,23 +1,23 @@
-import scala.tools.nsc._
+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 settings = new Settings()
settings.classpath.value = System.getProperty("java.class.path")
val tool = new Interpreter(settings)
@@ -35,11 +35,11 @@ object Test {
}
}
-
+
global.addAnnotationChecker(checker)
-
+
tool.interpret(testCode)
-
+
}
}