diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-11-04 09:30:36 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-11-09 19:08:59 +0100 |
| commit | 7194afe4b9a0bb04700b023a1c29047eb6349f88 (patch) | |
| tree | dbba3f86505fbfba2de2fc5c26db1a55983a93ce /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | d28754110576070ea6f94e626005d149a3470d20 (diff) | |
| download | dotty-7194afe4b9a0bb04700b023a1c29047eb6349f88.tar.gz dotty-7194afe4b9a0bb04700b023a1c29047eb6349f88.tar.bz2 dotty-7194afe4b9a0bb04700b023a1c29047eb6349f88.zip | |
Take supercalls into account for statement context
After Mixin, super calls can appear in statemenr sequences. They need to be
typechecked and transformed using a special context.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 3c36a1f25..59fda174d 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1042,8 +1042,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit case Thicket(stats) :: rest => traverse(stats ++ rest) case stat :: rest => - val nestedCtx = if (exprOwner == ctx.owner) ctx else ctx.fresh.setOwner(exprOwner) - buf += typed(stat)(nestedCtx) + buf += typed(stat)(ctx.exprContext(stat, exprOwner)) traverse(rest) case nil => buf.toList |