summaryrefslogtreecommitdiff
path: root/test/files/run/t1500.scala
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2013-07-17 09:27:29 -0700
committerAdriaan Moors <adriaan.moors@typesafe.com>2013-08-27 10:26:21 -0700
commit9c50dd52743b7ff4de19548669dfa7e7a0304034 (patch)
tree8b0044529b3106ea84bca046dc5710fada708cce /test/files/run/t1500.scala
parent7817efe2468480317965fc5baece52be392f0f7a (diff)
downloadscala-9c50dd52743b7ff4de19548669dfa7e7a0304034.tar.gz
scala-9c50dd52743b7ff4de19548669dfa7e7a0304034.tar.bz2
scala-9c50dd52743b7ff4de19548669dfa7e7a0304034.zip
Prepare removal of scala-xml, scala-parser-combinators
Every test deleted here has found its way to the respective repositories of scala-xml and scala-parser-combinators, where they will continue to be tested with partest. The modified tests became independent of these modules, as they should've been from the start.
Diffstat (limited to 'test/files/run/t1500.scala')
-rw-r--r--test/files/run/t1500.scala46
1 files changed, 0 insertions, 46 deletions
diff --git a/test/files/run/t1500.scala b/test/files/run/t1500.scala
deleted file mode 100644
index 75a6e31cdf..0000000000
--- a/test/files/run/t1500.scala
+++ /dev/null
@@ -1,46 +0,0 @@
-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 annotation.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.IMain(settings)
- val global = tool.global
-
- 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)
-
- }
-
-}
-