From 0cf17c5f63b3ec37a05da920a81337067ac335db Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 10 Apr 2017 17:10:24 +0200 Subject: Align safe parameter substitution with other subst methods Change name and align order of parameters. --- compiler/src/dotty/tools/dotc/typer/Applications.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/src/dotty/tools/dotc/typer/Applications.scala') 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 } -- cgit v1.2.3