Add back some enclosing scope-exit information to the frontend to produce proper error messages inside switch statements.

bool ok = false;
void f(){ ok = true; } void main() { bool b=true; b && f(); assert(ok); }