diff options
author | odersky <odersky@gmail.com> | 2017-04-11 09:29:25 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-11 09:29:25 +0200 |
commit | 4ff656138a2e4e127b763adeee3f0f72d515f6b6 (patch) | |
tree | cd65d0f412217ccf5fb9cb082514fb6a0444e94b /compiler/src/dotty/tools/dotc/typer/Applications.scala | |
parent | 0bd782195b7bcaa2d270b6306fd02c8a649822e9 (diff) | |
parent | 0cf17c5f63b3ec37a05da920a81337067ac335db (diff) | |
download | dotty-4ff656138a2e4e127b763adeee3f0f72d515f6b6.tar.gz dotty-4ff656138a2e4e127b763adeee3f0f72d515f6b6.tar.bz2 dotty-4ff656138a2e4e127b763adeee3f0f72d515f6b6.zip |
Merge pull request #2215 from dotty-staging/#2142
Fix #2142: Skolemize arguments of dependent methods if necessary
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..1fcebf4f0 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 + safeSubstParam(_, methodType.paramRefs(n), typeOfArg(arg)) + else identity } def missingArg(n: Int): Unit = { |