diff options
Diffstat (limited to 'src/dotty/tools/dotc/typer/Variances.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Variances.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Variances.scala b/src/dotty/tools/dotc/typer/Variances.scala index a2f9a0f16..a8abe5e30 100644 --- a/src/dotty/tools/dotc/typer/Variances.scala +++ b/src/dotty/tools/dotc/typer/Variances.scala @@ -84,11 +84,11 @@ object Variances { case ExprType(restpe) => varianceInType(restpe)(tparam) case tp @ HKApply(tycon, args) => - def varianceInArgs(v: Variance, args: List[Type], tparams: List[MemberBinding]): Variance = + def varianceInArgs(v: Variance, args: List[Type], tparams: List[TypeParamInfo]): Variance = args match { case arg :: args1 => varianceInArgs( - v & compose(varianceInType(arg)(tparam), tparams.head.memberVariance), + v & compose(varianceInType(arg)(tparam), tparams.head.paramVariance), args1, tparams.tail) case nil => v |