diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-04-10 17:10:24 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-10 17:10:24 +0200 |
| commit | 0cf17c5f63b3ec37a05da920a81337067ac335db (patch) | |
| tree | 18ec53eea65f57db93cb0d61794eb52f5ca0a4b5 /compiler/src/dotty/tools/dotc/typer/Applications.scala | |
| parent | ab06e2d3f2749a6fd594971bee1ae0fa533fa0bd (diff) | |
| download | dotty-0cf17c5f63b3ec37a05da920a81337067ac335db.tar.gz dotty-0cf17c5f63b3ec37a05da920a81337067ac335db.tar.bz2 dotty-0cf17c5f63b3ec37a05da920a81337067ac335db.zip | |
Align safe parameter substitution with other subst methods
Change name and align order of parameters.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/typer/Applications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala index fcc1a3b72..1fcebf4f0 100644 --- a/compiler/src/dotty/tools/dotc/typer/Applications.scala +++ b/compiler/src/dotty/tools/dotc/typer/Applications.scala @@ -395,7 +395,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic => def addTyped(arg: Arg, formal: Type): Type => Type = { addArg(typedArg(arg, formal), formal) if (methodType.isParamDependent) - substArgForParam(_, typeOfArg(arg), methodType.paramRefs(n)) + safeSubstParam(_, methodType.paramRefs(n), typeOfArg(arg)) else identity } |