1 files changed, 46 insertions, 0 deletions
diff --git a/test/files/run/t1500.scala b/test/files/run/t1500.scala
new file mode 100644
index 0000000000..30c026f70f
--- /dev/null
+++ b/test/files/run/t1500.scala
@@ -0,0 +1,46 @@
+import scala.tools.nsc._
+
+object Test {
+  
+  /**
+   *  Type inference overlooks constraints posed by type parameters in annotations on types.
+   */
+  
+  val testCode = """
+  
+    class posingAs[A] extends annotation.TypeConstraint
+    
+    def resolve[A,B](x: A @posingAs[B]): B = x.asInstanceOf[B]
+    
+    val x = resolve(7: @posingAs[Any])
+  
+  """
+  
+  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)
+    
+  }
+
+}
+