diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-31 10:36:42 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-31 11:44:17 +0100 |
commit | 3edab6ec1444b19203381612fba3e16ca1bafc95 (patch) | |
tree | 7e1985909b62c47004aeb29017bc05375eeba39d /src/dotty/tools/dotc/typer/Namer.scala | |
parent | 4a175b13e4fcefc7cb3cf70da254205a14dc2418 (diff) | |
download | dotty-3edab6ec1444b19203381612fba3e16ca1bafc95.tar.gz dotty-3edab6ec1444b19203381612fba3e16ca1bafc95.tar.bz2 dotty-3edab6ec1444b19203381612fba3e16ca1bafc95.zip |
Upgrades to handle subtyping between parameterized and higher-kinded types.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 25006d72f..978c9965d 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -492,8 +492,10 @@ class Namer { typer: Typer => if (tparamSyms.nonEmpty) bounds.higherKinded(tparamSyms) else rhsType case _ => - if (tparamSyms.nonEmpty) rhsType.LambdaAbstract(tparamSyms)(ctx.error(_, _)) - else TypeAlias(rhsType, if (sym is Local) sym.variance else 0) + val abstractedRhsType = + if (tparamSyms.nonEmpty) rhsType.LambdaAbstract(tparamSyms)(ctx.error(_, _)) + else rhsType + TypeAlias(abstractedRhsType, if (sym is Local) sym.variance else 0) } } }
\ No newline at end of file |