diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-09-21 14:45:36 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-12 10:47:48 +0200 |
| commit | 33113aa693c7290eda504029b14f7fcb8e104391 (patch) | |
| tree | 0ca1e432ec457d9c4322824a57fea14658956271 /src/dotty/tools/dotc/transform/TreeChecker.scala | |
| parent | 35f46b4a0c2d290582981f67498ed77a4ae9b21d (diff) | |
| download | dotty-33113aa693c7290eda504029b14f7fcb8e104391.tar.gz dotty-33113aa693c7290eda504029b14f7fcb8e104391.tar.bz2 dotty-33113aa693c7290eda504029b14f7fcb8e104391.zip | |
Fix tree typing to account for trees after constructors is run.
Diffstat (limited to 'src/dotty/tools/dotc/transform/TreeChecker.scala')
| -rw-r--r-- | src/dotty/tools/dotc/transform/TreeChecker.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/transform/TreeChecker.scala b/src/dotty/tools/dotc/transform/TreeChecker.scala index 46886afb6..67b291bb2 100644 --- a/src/dotty/tools/dotc/transform/TreeChecker.scala +++ b/src/dotty/tools/dotc/transform/TreeChecker.scala @@ -130,6 +130,9 @@ class TreeChecker { super.typedStats(trees, exprOwner) } + override def ensureNoLocalRefs(block: Block, pt: Type, forcedDefined: Boolean = false)(implicit ctx: Context): Tree = + block + override def adapt(tree: Tree, pt: Type, original: untpd.Tree = untpd.EmptyTree)(implicit ctx: Context) = { def isPrimaryConstructorReturn = ctx.owner.isPrimaryConstructor && pt.isRef(ctx.owner.owner) && tree.tpe.isRef(defn.UnitClass) |