diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-20 09:47:21 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-24 10:34:51 +0200 |
commit | a415ca1ab713f92788262057d9810d937dc7499a (patch) | |
tree | 309b87812b05d0be733b09abdd78b2ecfb7b6c3b /src/dotty/tools/dotc/typer/TypeAssigner.scala | |
parent | 87098e63c2796387c598513a2af2d8f2d1aae91b (diff) | |
download | dotty-a415ca1ab713f92788262057d9810d937dc7499a.tar.gz dotty-a415ca1ab713f92788262057d9810d937dc7499a.tar.bz2 dotty-a415ca1ab713f92788262057d9810d937dc7499a.zip |
Allow existential types in hk types
Diffstat (limited to 'src/dotty/tools/dotc/typer/TypeAssigner.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/TypeAssigner.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/TypeAssigner.scala b/src/dotty/tools/dotc/typer/TypeAssigner.scala index 7225ede14..25030012c 100644 --- a/src/dotty/tools/dotc/typer/TypeAssigner.scala +++ b/src/dotty/tools/dotc/typer/TypeAssigner.scala @@ -344,10 +344,9 @@ trait TypeAssigner { def assignType(tree: untpd.Return)(implicit ctx: Context) = tree.withType(defn.NothingType) - def assignType(tree: untpd.Try, expr: Tree, cases: List[CaseDef])(implicit ctx: Context) = { + def assignType(tree: untpd.Try, expr: Tree, cases: List[CaseDef])(implicit ctx: Context) = if (cases.isEmpty) tree.withType(expr.tpe) else tree.withType(ctx.typeComparer.lub(expr.tpe :: cases.tpes)) - } def assignType(tree: untpd.SeqLiteral, elems: List[Tree])(implicit ctx: Context) = tree match { case tree: JavaSeqLiteral => |