diff options
| author | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2017-04-10 18:14:01 +0200 |
|---|---|---|
| committer | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2017-04-11 08:48:06 +0200 |
| commit | 198b5cec531a8e0d6c121cc425e19a54b7818868 (patch) | |
| tree | cedbb042b763d7184046fdd425b1ca9fc9591e9f /compiler/src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 5bf9d2b0046b60ae9fcdc218cd190e17023b4fae (diff) | |
| download | dotty-198b5cec531a8e0d6c121cc425e19a54b7818868.tar.gz dotty-198b5cec531a8e0d6c121cc425e19a54b7818868.tar.bz2 dotty-198b5cec531a8e0d6c121cc425e19a54b7818868.zip | |
Move isProductSubType to Applications & rename to canProductMatch
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala index c86b15871..9494bf4eb 100644 --- a/compiler/src/dotty/tools/dotc/typer/Typer.scala +++ b/compiler/src/dotty/tools/dotc/typer/Typer.scala @@ -762,7 +762,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) = { isFullyDefined(formal, ForceDegree.noBottom) && - defn.isProductSubType(formal) && + Applications.canProductMatch(formal) && Applications.productSelectorTypes(formal).corresponds(params) { (argType, param) => param.tpt.isEmpty || argType <:< typedAheadType(param.tpt).tpe |