diff options
author | Martin Odersky <odersky@gmail.com> | 2015-11-17 23:33:19 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-16 15:24:15 +0100 |
commit | 81b5f84de0d5a0d8ab2e0c5c5172145ee22d45dd (patch) | |
tree | cb82052f5b9002eb659a23a08ac5361975cba2ab /src/dotty/tools/dotc/typer/Typer.scala | |
parent | 62a526eeb664da5f0a7982375f0f77618b6b3f92 (diff) | |
download | dotty-81b5f84de0d5a0d8ab2e0c5c5172145ee22d45dd.tar.gz dotty-81b5f84de0d5a0d8ab2e0c5c5172145ee22d45dd.tar.bz2 dotty-81b5f84de0d5a0d8ab2e0c5c5172145ee22d45dd.zip |
Fix merge error
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 784702dba..952a1073c 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -613,7 +613,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit /** Is `formal` a product type which is elementwise compatible with `params`? */ def ptIsCorrectProduct(formal: Type) = { - val pclass = defn.ProductNClass(params.length) + val pclass = defn.ProductNType(params.length).symbol isFullyDefined(formal, ForceDegree.noBottom) && formal.derivesFrom(pclass) && formal.baseArgTypes(pclass).corresponds(params) { |