Bug 2155 – case statements always start new scope

Scope statements introduce a new scope even when not using ScopeBlockStatement, as seen here: switch(1) { case 1: writefln("case 1"); scope(exit) writefln("case 1 scope exit"); case 2: writefln("fallthrough to 2"); } prints: case 1 case 1 scope exit fallthrough to 2 But this behaviour is not described in the spec. Maybe add: "Case statements start a scope that ends at the end of the enclosing scope or before the next case or default statement that is inside the same scope level. Example: switch(i) { case 1: // implicit scope start 1 ... // implicit scope end 1 case 2: // implicit scope start 2 while(true) { case 3: // implicit scope start 3 // implcit scope end 3 } // implicit scope end 2 } "

*** This bug has been marked as a duplicate of 603 ***