diff options
| -rw-r--r-- | src/dotty/tools/dotc/typer/EtaExpansion.scala | 2 | ||||
| -rw-r--r-- | tests/run/t5610a.check (renamed from tests/pending/run/t5610a.check) | 0 | ||||
| -rw-r--r-- | tests/run/t5610a.scala (renamed from tests/pending/run/t5610a.scala) | 0 |
3 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/EtaExpansion.scala b/src/dotty/tools/dotc/typer/EtaExpansion.scala index 1c0e6a11f..6797f3349 100644 --- a/src/dotty/tools/dotc/typer/EtaExpansion.scala +++ b/src/dotty/tools/dotc/typer/EtaExpansion.scala @@ -58,7 +58,7 @@ object EtaExpansion { * and replace by the idents of so created ValDefs. */ def liftArgs(defs: mutable.ListBuffer[Tree], methType: Type, args: List[Tree])(implicit ctx: Context) = - methType match { + methType.widen match { case MethodType(paramNames, paramTypes) => (args, paramNames, paramTypes).zipped map { (arg, name, tp) => if (tp.isInstanceOf[ExprType]) arg diff --git a/tests/pending/run/t5610a.check b/tests/run/t5610a.check index 2aa46b3b9..2aa46b3b9 100644 --- a/tests/pending/run/t5610a.check +++ b/tests/run/t5610a.check diff --git a/tests/pending/run/t5610a.scala b/tests/run/t5610a.scala index 3787c0984..3787c0984 100644 --- a/tests/pending/run/t5610a.scala +++ b/tests/run/t5610a.scala |