diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-16 15:49:00 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-16 15:49:13 +0100 |
| commit | 06bfbd379fe350a93e3de38940fda0e359a07e1d (patch) | |
| tree | b6624c554c7234825e4e3963d8c49be8109ef357 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | e5f8697cf54be6cfa82884eb2f4c4e4d79af2700 (diff) | |
| download | dotty-06bfbd379fe350a93e3de38940fda0e359a07e1d.tar.gz dotty-06bfbd379fe350a93e3de38940fda0e359a07e1d.tar.bz2 dotty-06bfbd379fe350a93e3de38940fda0e359a07e1d.zip | |
Strengthen requirement for auto-tupling
Was: corresponding parameter types "are compatible".
Now: corresponding parameter types "conform".
This avoids the inconsistency mentioned by @retronym in #897.
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 952a1073c..f1e1d9286 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -618,7 +618,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit formal.derivesFrom(pclass) && formal.baseArgTypes(pclass).corresponds(params) { (argType, param) => - param.tpt.isEmpty || isCompatible(argType, typedAheadType(param.tpt).tpe) + param.tpt.isEmpty || argType <:< typedAheadType(param.tpt).tpe } } |