diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-07-17 12:20:54 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:05:16 +0200 |
| commit | a4d51ed8ad7eea8d126ddfb8395943a2e83950cd (patch) | |
| tree | 9995c7e4e87c5076dd3fb95b5d1e6c151f600913 | |
| parent | 8c6b70912984e546f16064817446aea3f3863653 (diff) | |
| download | dotty-a4d51ed8ad7eea8d126ddfb8395943a2e83950cd.tar.gz dotty-a4d51ed8ad7eea8d126ddfb8395943a2e83950cd.tar.bz2 dotty-a4d51ed8ad7eea8d126ddfb8395943a2e83950cd.zip | |
Add comment.
| -rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 5 |
1 files changed, 4 insertions, 1 deletions
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 = { |