diff options
Diffstat (limited to 'src/dotty/tools/dotc/typer/TypeAssigner.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/TypeAssigner.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/TypeAssigner.scala b/src/dotty/tools/dotc/typer/TypeAssigner.scala index b686e6eed..47c3631b8 100644 --- a/src/dotty/tools/dotc/typer/TypeAssigner.scala +++ b/src/dotty/tools/dotc/typer/TypeAssigner.scala @@ -430,8 +430,8 @@ trait TypeAssigner { val argBindingFns = tparams.map(tparam => tparam.info.bounds .withBindingKind(BindingKind.fromVariance(tparam.variance)) - .internalizeFrom(tparams)) - val bodyFn = body.tpe.internalizeFrom(tparams) + .recursify(tparams)) + val bodyFn = body.tpe.recursify(tparams) tree.withType(TypeApplicationsNewHK.TypeLambda(argBindingFns, bodyFn)) } |