Cases in a switch introduce a new scope.

frog/leg/resolver.dart

Index: frog/leg/resolver.dart
===================================================================
--- frog/leg/resolver.dart	(revision 5121)
+++ frog/leg/resolver.dart	(working copy)
@@ -1161,12 +1161,12 @@
   visitSwitchCase(SwitchCase node) {
     // TODO(ahe): What about the label?
     node.expression.accept(this);
-    node.statements.accept(this);
+    visitIn(node.statements, new BlockScope(context));

[ahe, 2012/03/07 22:24:15]

I can't find this in the specification.

[ngeoffray, 2012/03/07 22:31:11]

We have a test for it SwitchScopeTest. And the JSON implementation of dart
assumes there is a new scope. Ergo, spec forgot to mention it :)

[ahe, 2012/04/13 13:50:19]

Then you need to file a specification bug.

[ngeoffray, 2012/04/16 13:49:35]

Yes: http://code.google.com/p/dart/issues/detail?id=2057

[ahe, 2012/04/16 14:51:58]

Thank you. Starred it :-)

   }
 
   visitDefaultCase(DefaultCase node) {
     // TODO(ahe): What about the label?
-    node.statements.accept(this);
+    visitIn(node.statements, new BlockScope(context));
   }
 
   visitTryStatement(TryStatement node) {