diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-18 13:31:21 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-18 13:31:21 +0200 |
commit | aae71e7e37761aa159b0d00f7b98a388be9a40cf (patch) | |
tree | 30b41468d0b4158e9e1d620761f1209fb5a9ec32 /src/dotty/tools/dotc/typer/Typer.scala | |
parent | 71044c8ea18a184f2c9db9aed25a996f6737b6fe (diff) | |
download | dotty-aae71e7e37761aa159b0d00f7b98a388be9a40cf.tar.gz dotty-aae71e7e37761aa159b0d00f7b98a388be9a40cf.tar.bz2 dotty-aae71e7e37761aa159b0d00f7b98a388be9a40cf.zip |
Make local dummy a non-member type.
Local dummys in templates are not members of their enclosing classes.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 7473e76f6..7d8eb7f98 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -840,12 +840,12 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit val constr1 = typed(constr).asInstanceOf[DefDef] val parents1 = ensureConstrCall(ensureFirstIsClass( parents mapconserve typedParent, cdef.pos.toSynthetic)) - val self1 = typed(self)(ctx.outer).asInstanceOf[ValDef] // outer context where class memebers are not visible + val self1 = typed(self)(ctx.outer).asInstanceOf[ValDef] // outer context where class members are not visible val dummy = localDummy(cls, impl) val body1 = typedStats(body, dummy)(inClassContext(self1.symbol)) checkNoDoubleDefs(cls) val impl1 = cpy.Template(impl)(constr1, parents1, self1, body1) - .withType(dummy.termRef) + .withType(dummy.nonMemberTermRef) checkVariance(impl1) assignType(cpy.TypeDef(cdef)(mods1, name, impl1, Nil), cls) |