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 62a526e commit 81b5f84Copy full SHA for 81b5f84
src/dotty/tools/dotc/typer/Typer.scala
@@ -613,7 +613,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
613
614
/** Is `formal` a product type which is elementwise compatible with `params`? */
615
def ptIsCorrectProduct(formal: Type) = {
616
- val pclass = defn.ProductNClass(params.length)
+ val pclass = defn.ProductNType(params.length).symbol
617
isFullyDefined(formal, ForceDegree.noBottom) &&
618
formal.derivesFrom(pclass) &&
619
formal.baseArgTypes(pclass).corresponds(params) {
0 commit comments