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)
-    
-  }
-
-}
-