add test

Author: Jasper-M-centrica

tests/run/t13418.check

@@ -1,2 +1,3 @@
-no match
-no match
+ok
+ok
+ok

tests/run/t13418.scala

@@ -7,14 +7,20 @@ class X { class Y[Q] }
 val x1 = new X
 val x2 = new X
 val y: Any = new x1.Y[Int]
+type Foo = [Q] =>> x2.Y[Q]
+type Bar = [Q] =>> x1.Y[Q]
 
 @main def Test() = {
   b match {
-    case _: a2.B => println("match")
-    case _ => println("no match")
+    case _: a2.B => println("wrong")
+    case _: a1.B => println("ok")
   }
   y match {
-    case _: x2.Y[_] => println("match")
-    case _ => println("no match")
+    case _: x2.Y[_] => println("wrong")
+    case _: x1.Y[_] => println("ok")
+  }
+  y match {
+    case _: Foo[_] => println("wrong")
+    case _: Bar[_] => println("ok")
   }
 }