From f75432fb31807938db2e9f78980fa574f88cd535 Mon Sep 17 00:00:00 2001
From: Dmitry Petrashko <dmitry.petrashko@gmail.com>
Date: Wed, 17 Sep 2014 17:48:10 +0200
Subject: Allow skipping Label's in owner chains

---
 src/dotty/tools/dotc/transform/TreeChecker.scala | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/dotty/tools/dotc/transform/TreeChecker.scala b/src/dotty/tools/dotc/transform/TreeChecker.scala
index 50d409942..a30ff3296 100644
--- a/src/dotty/tools/dotc/transform/TreeChecker.scala
+++ b/src/dotty/tools/dotc/transform/TreeChecker.scala
@@ -85,10 +85,11 @@ class TreeChecker {
     }
 
     private def checkOwner(tree: untpd.Tree)(implicit ctx: Context): Unit = {
-      def ownerMatches(symOwner: Symbol, ctxOwner: Symbol): Boolean =
+      def ownerMatches(symOwner: Symbol, ctxOwner: Symbol): Boolean = {
         symOwner == ctxOwner ||
-        ctxOwner.isTerm && !(ctxOwner is Method | Lazy | Mutable) &&
+          ctxOwner.isTerm && (!(ctxOwner is Method | Lazy | Mutable) || (ctxOwner is Label)) &&
           ownerMatches(symOwner, ctxOwner.owner)
+      }
       assert(ownerMatches(tree.symbol.owner, ctx.owner),
              i"bad owner; ${tree.symbol} has owner ${tree.symbol.owner}, expected was ${ctx.owner}")
     }
-- 
cgit v1.2.3