We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3dec6ef commit 6a5f698Copy full SHA for 6a5f698
src/dotty/tools/dotc/typer/Typer.scala
@@ -585,7 +585,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
585
586
/** Is `formal` a product type which is elementwise compatible with `params`? */
587
def ptIsCorrectProduct(formal: Type) = {
588
- val pclass = defn.ProductNClass(params.length)
+ val pclass = defn.ProductNType(params.length).symbol
589
isFullyDefined(formal, ForceDegree.noBottom) &&
590
formal.derivesFrom(pclass) &&
591
formal.baseArgTypes(pclass).corresponds(params) {
0 commit comments