Update rebased

aherlihy · aherlihy · commit 83ae00dded56 · 2025-01-13T09:00:12.000-05:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -110,7 +110,7 @@ object Applications {
   }
 
   def namedTupleOrProductTypes(tp: Type)(using Context): List[Type] =
-    if tp.isNamedTupleType then tp.namedTupleElementTypes.map(_(1))
+    if tp.isNamedTupleType then tp.namedTupleElementTypes(true).map(_(1))
     else productSelectorTypes(tp, NoSourcePosition)
 
   def productSelectorTypes(tp: Type, errorPos: SrcPos)(using Context): List[Type] = {

Original file line number	Diff line number	Diff line change
`@@ -110,7 +110,7 @@ object Applications {`
`110`	`110`	`}`
`111`	`111`
`112`	`112`	`def namedTupleOrProductTypes(tp: Type)(using Context): List[Type] =`
`113`		`- if tp.isNamedTupleType then tp.namedTupleElementTypes.map(_(1))`
	`113`	`+ if tp.isNamedTupleType then tp.namedTupleElementTypes(true).map(_(1))`
`114`	`114`	`else productSelectorTypes(tp, NoSourcePosition)`
`115`	`115`
`116`	`116`	`def productSelectorTypes(tp: Type, errorPos: SrcPos)(using Context): List[Type] = {`