More tests

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/pos/t1203a.scala b/tests/pos/t1203a.scala
new file mode 100644
index 000000000..cf5ab9fba
--- /dev/null
+++ b/tests/pos/t1203a.scala
@@ -0,0 +1,13 @@
+class Node
+object NodeSeq {
+  implicit def seqToNodeSeq(s: Seq[Node]): NodeSeq = ???
+}
+abstract class NodeSeq extends collection.immutable.Seq[Node]
+
+case class ant(t: String) extends scala.annotation.Annotation
+object Test {
+   def main(args: Array[String]): Unit = {
+     val a: NodeSeq @ant("12") = Nil
+     println(a)
+   }
+}