diff options
author | Martin Odersky <odersky@gmail.com> | 2016-02-19 13:49:15 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-20 10:19:58 +0100 |
commit | c6064ed02c4d895b1d0df269fc018265b0d55625 (patch) | |
tree | 224e7a2fcbb0bdf829a7bcbfacad09ff03fcc00b /src/dotty/tools/dotc/typer/Typer.scala | |
parent | 419ee6cd11214c91e55bb74fb77b8e84760a780e (diff) | |
download | dotty-c6064ed02c4d895b1d0df269fc018265b0d55625.tar.gz dotty-c6064ed02c4d895b1d0df269fc018265b0d55625.tar.bz2 dotty-c6064ed02c4d895b1d0df269fc018265b0d55625.zip |
Check that classOf gets applied to class types
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index a1d650d2d..1e8e3a524 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -383,7 +383,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit case TypeApplications.EtaExpansion(tycon) => tpt1 = tpt1.withType(tycon) case _ => } - checkClassTypeWithStablePrefix(tpt1.tpe, tpt1.pos, traitReq = false) + checkClassType(tpt1.tpe, tpt1.pos, traitReq = false, stablePrefixReq = true) assignType(cpy.New(tree)(tpt1), tpt1) // todo in a later phase: checkInstantiatable(cls, tpt1.pos) } |