Update check files of tests

Author: odersky

tests/neg-custom-args/explicit-nulls/byname-nullables.check

@@ -3,6 +3,8 @@
    |                        ^
    |                        Found:    (x : String | Null)
    |                        Required: String
+
+longer explanation available when compiling with `-explain`
 -- Error: tests/neg-custom-args/explicit-nulls/byname-nullables.scala:43:32 --------------------------------------------
 43 |    if x != null then f(identity(x), 1)   // error: dropping not null check fails typing
    |                        ^^^^^^^^^^^
@@ -19,7 +21,7 @@
    |                     Wrapping the argument in `byName(...)` fixes the problem by disabling the flow assumptions.
    |
    |                     `byName` needs to be imported from the `scala.compiletime` package.
--- [E134] Type Mismatch Error: tests/neg-custom-args/explicit-nulls/byname-nullables.scala:81:22 -----------------------
+-- [E134] Type Error: tests/neg-custom-args/explicit-nulls/byname-nullables.scala:81:22 --------------------------------
 81 |    if x != null then f(byName(x), 1)   // error: none of the overloaded methods match argument types
    |                      ^
    |                      None of the overloaded alternatives of method f in object Test7 with types

tests/neg-custom-args/explicit-nulls/i7883.check

@@ -1,4 +1,4 @@
--- [E134] Type Mismatch Error: tests/neg-custom-args/explicit-nulls/i7883.scala:6:11 -----------------------------------
+-- [E134] Type Error: tests/neg-custom-args/explicit-nulls/i7883.scala:6:11 --------------------------------------------
 6 |      case r(hd, tl) => Some((hd, tl))  // error // error // error
   |           ^
   |           None of the overloaded alternatives of method unapplySeq in class Regex with types

tests/neg-custom-args/ovlazy.check

@@ -1,4 +1,4 @@
--- Error: tests/neg-custom-args/ovlazy.scala:5:20 ----------------------------------------------------------------------
+-- [E164] Declaration Error: tests/neg-custom-args/ovlazy.scala:5:20 ---------------------------------------------------
 5 |  override lazy val x: Int = 2 // error
   |                    ^
   |                    error overriding value x in class A of type Int;

tests/neg-macros/beta-reduce-inline-result.check

@@ -4,3 +4,5 @@
    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |                Found:    Int
    |                Required: (4 : Int)
+
+longer explanation available when compiling with `-explain`

tests/neg/abstract-givens.check

@@ -2,13 +2,15 @@
 11 |  given s[T](using T): Seq[T] with // error
    |        ^
    |instance cannot be created, since def iterator: => Iterator[A] in trait IterableOnce in package scala.collection is not defined 
--- Error: tests/neg/abstract-givens.scala:8:8 --------------------------------------------------------------------------
+-- [E164] Declaration Error: tests/neg/abstract-givens.scala:8:8 -------------------------------------------------------
 8 |  given y(using Int): String = summon[Int].toString * 22 // error
   |        ^
   |      error overriding given instance y in trait T of type (using x$1: Int): String;
   |        given instance y of type (using x$1: Int): String cannot override final member given instance y in trait T
--- Error: tests/neg/abstract-givens.scala:9:8 --------------------------------------------------------------------------
+-- [E163] Declaration Error: tests/neg/abstract-givens.scala:9:8 -------------------------------------------------------
 9 |  given z[T](using T): Seq[T] = List(summon[T]) // error
   |        ^
   |        error overriding given instance z in trait T of type [T](using x$1: T): List[T];
   |          given instance z of type [T](using x$1: T): Seq[T] has incompatible type
+
+longer explanation available when compiling with `-explain`

tests/neg/exports2.check

@@ -1,4 +1,4 @@
--- Error: tests/neg/exports2.scala:8:11 --------------------------------------------------------------------------------
+-- [E164] Declaration Error: tests/neg/exports2.scala:8:11 -------------------------------------------------------------
 8 |  export A._            // error
   |           ^
   |           error overriding method f in trait B of type => String;

tests/neg/i11637.check

@@ -0,0 +1,12 @@
+-- [E057] Type Mismatch Error: tests/neg/i11637.scala:11:33 ------------------------------------------------------------
+11 |  var h = new HKT3_1[FunctorImpl]();  // error // error
+   |                                 ^
+   |                 Type argument test2.FunctorImpl does not conform to upper bound [Generic2[T] <: Set[T]] =>> Any
+
+longer explanation available when compiling with `-explain`
+-- [E057] Type Mismatch Error: tests/neg/i11637.scala:11:21 ------------------------------------------------------------
+11 |  var h = new HKT3_1[FunctorImpl]();  // error // error
+   |                     ^
+   |                 Type argument test2.FunctorImpl does not conform to upper bound [Generic2[T] <: Set[T]] =>> Any
+
+longer explanation available when compiling with `-explain`

tests/neg/i11637.scala

@@ -0,0 +1,12 @@
+// This is OK
+object test1:
+  class FunctorImpl[Generic1[T] <: Iterable[T]]{}
+  class HKT3_1[Functor[Generic2[T]<:Set[T]]]{}
+  var h = new HKT3_1[FunctorImpl]();
+
+// This is has error
+object test2:
+  class FunctorImpl[Generic1[T] <: Iterable[T]]{}
+  class HKT3_1[Functor[Generic2[T<:String]<:Set[T]]]{}
+  var h = new HKT3_1[FunctorImpl]();  // error // error
+

tests/neg/i2033.check

@@ -7,3 +7,5 @@
    |                                   ^^^^^^^
    |                                   Found:    Unit
    |                                   Required: String
+
+longer explanation available when compiling with `-explain`

tests/neg/i5311.check

@@ -3,3 +3,5 @@
    |         ^^^^^^^^^^^^^^^^^^
    |         Found:    s.T[Int] => s.T[Int]
    |         Required: m.Foo
+
+longer explanation available when compiling with `-explain`