From a4d51ed8ad7eea8d126ddfb8395943a2e83950cd Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 17 Jul 2015 12:20:54 +0200 Subject: Add comment. --- src/dotty/tools/dotc/typer/Namer.scala | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index eef0ce8b0..7e7d4f802 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -808,7 +808,10 @@ class Namer { typer: Typer => } /** Eta expand all class types C appearing as arguments to a higher-kinded - * type parameter to type lambdas, e.g. [HK0] => C[HK0] + * type parameter to type lambdas, e.g. [HK0] => C[HK0]. This is necessary + * because in `typedAppliedTypeTree` we might ahve missed some eta expansions + * of arguments in F-bounds, because the recursive type was initialized with + * TypeBounds.empty. */ def etaExpandArgs(implicit ctx: Context) = new TypeMap { def apply(tp: Type): Type = { -- cgit v1.2.3