Use inferred type transformer for SeqLiterals

Fixes #19470

Author: odersky

compiler/src/dotty/tools/dotc/cc/Setup.scala

@@ -416,7 +416,7 @@ class Setup extends PreRecheck, SymTransformer, SetupAPI:
 
         case tree @ SeqLiteral(elems, tpt: TypeTree) =>
           traverse(elems)
-          transformTT(tpt, boxed = true, exact = false)
+          tpt.rememberType(box(transformInferredType(tpt.tpe)))
 
         case _ =>
           traverseChildren(tree)

tests/neg/i19470.check

@@ -0,0 +1,7 @@
+-- [E007] Type Mismatch Error: tests/neg/i19470.scala:9:12 -------------------------------------------------------------
+9 |    List(foo(f())) // error
+  |         ^^^^^^^^
+  |         Found:    Inv[? >: IO <: box IO^{f}]
+  |         Required: box Inv[box IO^?]^?
+  |
+  | longer explanation available when compiling with `-explain`

tests/neg/i19470.scala

@@ -0,0 +1,9 @@
+import language.experimental.captureChecking
+trait IO
+case class Inv[X](x: X)
+
+def foo(x: IO^): Inv[IO^{x}] = Inv(x)
+
+def main(io: IO^): Unit =
+  def test(f: () => IO^) =
+    List(foo(f())) // error