Update check file

Author: odersky

tests/neg/safeThrowsStrawman2.scala

@@ -21,11 +21,11 @@ def bar(x: Boolean)(using CanThrow[Fail]): Int =
 @main def Test =
   try
     given ctf: CanThrow[Fail] = ???
-    val x = CanThrow[Fail]()      // OK, x is erased
-    val y: Any = CanThrow[Fail]() // error: illegal reference to erased class CanThrow
+    val x = new CanThrow[Fail]()      // OK, x is erased
+    val y: Any = new CanThrow[Fail]() // error: illegal reference to erased class CanThrow
     val y2: Any = new CTF()       // error: illegal reference to erased class CanThrow
     println(foo(true, ctf))       // error: ctf is declared as erased, but is in fact used
-    val a = (1, CanThrow[Fail]()) // error: illegal reference to erased class CanThrow
+    val a = (1, new CanThrow[Fail]()) // error: illegal reference to erased class CanThrow
     def b: (Int, CanThrow[Fail]) = ???
     def c = b._2                  // ok; we only check creation sites
     bar(true)(using ctf)

tests/run/safeThrowsStrawman.check

@@ -1,2 +1,3 @@
 1
 failed
+failed