aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Typer.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r--src/dotty/tools/dotc/typer/Typer.scala7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala
index d633e5653..181f5bd7c 100644
--- a/src/dotty/tools/dotc/typer/Typer.scala
+++ b/src/dotty/tools/dotc/typer/Typer.scala
@@ -1245,6 +1245,9 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
val self1 = typed(self)(ctx.outer).asInstanceOf[ValDef] // outer context where class members are not visible
val dummy = localDummy(cls, impl)
val body1 = typedStats(impl.body, dummy)(inClassContext(self1.symbol))
+
+ typedUsecases(body1.map(_.symbol), self1.symbol)
+
checkNoDoubleDefs(cls)
val impl1 = cpy.Template(impl)(constr1, parents1, self1, body1)
.withType(dummy.nonMemberTermRef)
@@ -1520,9 +1523,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
buf += typed(stat)(ctx.exprContext(stat, exprOwner))
traverse(rest)
case nil =>
- val tpdStats = buf.toList
- typedUsecases(tpdStats.map(_.symbol), exprOwner)
- tpdStats
+ buf.toList
}
traverse(stats)
}