Update pos test

Linyxus · Linyxus · commit d551238552bd · 2021-08-18T15:15:29.000+08:00
diff --git a/tests/pos/gadt-hkt-bounds.scala b/tests/pos/gadt-hkt-bounds.scala
@@ -1,6 +1,6 @@
 type Const = [X] =>> Int
 
-trait Expr[F[_]]
+trait Expr[+F[_]]
 case class ConstExpr() extends Expr[Const]
 
 def foo[F[_], A](e: Expr[F]): F[A] = e match
