diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-11 09:56:40 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-11 10:06:14 +0100 |
commit | fd44a171340a87359e267aeb63072bc5a8873b10 (patch) | |
tree | 45bf12dbad8d185ba69fd37fc5440d01bce3b591 /src/dotty/tools/dotc/typer/Applications.scala | |
parent | 1c77b03cb9909c3a1bf4477e49e58d81b25f47b2 (diff) | |
download | dotty-fd44a171340a87359e267aeb63072bc5a8873b10.tar.gz dotty-fd44a171340a87359e267aeb63072bc5a8873b10.tar.bz2 dotty-fd44a171340a87359e267aeb63072bc5a8873b10.zip |
Disallow hk type parameters in lower bounds.
Also: various cleanups to comments.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index d119658be..c6053d0fd 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -613,12 +613,8 @@ trait Applications extends Compatibility { self: Typer => assignType(cpy.TypeApply(tree)(typedFn, typedArgs), typedFn, typedArgs) } - def adaptTypeArg(tree: tpd.Tree, bound: Type)(implicit ctx: Context): tpd.Tree = { - //val was = tree.tpe.EtaExpandIfHK(bound) - //val now = tree.tpe.adaptIfHK(bound) // ### - //if (was != now) println(i"diff adapt ${tree.tpe} to $bound, was: $was, now: $now") + def adaptTypeArg(tree: tpd.Tree, bound: Type)(implicit ctx: Context): tpd.Tree = tree.withType(tree.tpe.adaptIfHK(bound)) - } /** Rewrite `new Array[T](....)` trees to calls of newXYZArray methods. */ def convertNewArray(tree: tpd.Tree)(implicit ctx: Context): tpd.Tree = tree match { |