Normalize before querying for tuple component types

Fixes #12127

Author: odersky

compiler/src/dotty/tools/dotc/typer/Applications.scala

@@ -118,7 +118,7 @@ object Applications {
   }
 
   def tupleComponentTypes(tp: Type)(using Context): List[Type] =
-    tp.widenExpr.dealias match
+    tp.widenExpr.dealias.normalized match
     case tp: AppliedType =>
       if defn.isTupleClass(tp.tycon.typeSymbol) then
         tp.args

tests/pos/i12127.scala

@@ -0,0 +1,5 @@
+val x = Option((1, 2, 3)).map(_ + _ + _)
+def foo[T <: Tuple : Tuple.IsMappedBy[Option]](t: T)(f: Tuple.InverseMap[T, Option] => Int) = null
+val y = foo(Option(1), Option(2), Option(3))(_ + _ + _)
+
+//val x: (Tuple3[Int, Int, Int] => Int) = _ + _ + _