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/Typer.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/Typer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 0d7db4f9a..08ed04286 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -930,6 +930,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit def typedTypeDef(tdef: untpd.TypeDef, sym: Symbol)(implicit ctx: Context): Tree = track("typedTypeDef") { val TypeDef(name, rhs) = tdef + checkLowerNotHK(sym, tdef.tparams.map(symbolOfTree), tdef.pos) completeAnnotations(tdef, sym) val _ = typedType(rhs) // unused, typecheck only to remove from typedTree assignType(cpy.TypeDef(tdef)(name, TypeTree(sym.info), Nil), sym) |