Update test so that it still fails when level checking is on

Author: odersky

tests/pos/i14494.scala

@@ -1,6 +1,9 @@
 object ImplNotFound:
+  class TOP
+  class STR(s: String) extends TOP
+  class INT(i: Int) extends TOP
   def main(args: Array[String]): Unit =
-    val res: Seq[String | Int] = (??? : Seq[Int]).collect {
-      case 1 => Seq("")
-      case 2 => Seq(1)
+    val res: Seq[STR | INT] = (??? : Seq[Int]).collect {
+      case 1 => Seq(STR(""))
+      case 2 => Seq(INT(1))
     }.flatten