diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:18:05 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:18:23 +0200 |
| commit | bb0faff0d45f873fff9054fd8baec92eabb78c3d (patch) | |
| tree | 1ab4f4dc9d5d1a1a3ca2d7f632b1aebe4ea59e41 /compiler/src/dotty/tools/dotc/typer/Applications.scala | |
| parent | b3d683a4088f3db894c026070449637ec74e92fd (diff) | |
| download | dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.tar.gz dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.tar.bz2 dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.zip | |
Skolemize arguments to dependent methods as necessary.
This was missing before, led to errors not being detected.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/typer/Applications.scala | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala index 4e43e429b..fcc1a3b72 100644 --- a/compiler/src/dotty/tools/dotc/typer/Applications.scala +++ b/compiler/src/dotty/tools/dotc/typer/Applications.scala @@ -395,9 +395,8 @@ trait Applications extends Compatibility { self: Typer with Dynamic => def addTyped(arg: Arg, formal: Type): Type => Type = { addArg(typedArg(arg, formal), formal) if (methodType.isParamDependent) - _.substParam(methodType.newParamRef(n), typeOfArg(arg)) - else - identity + substArgForParam(_, typeOfArg(arg), methodType.paramRefs(n)) + else identity } def missingArg(n: Int): Unit = { |