// Expect 3 errors
void func();

void a;
void b = func();
int c;

void m() {
    // Attempts to assign into a void variable via the switch-hoisting rewrite.
    switch (c) {
        case 1: void c = a;
    }
}

/*%%*
variables of type 'void' are not allowed
variables of type 'void' are not allowed
unknown identifier 'a'
variables of type 'void' are not allowed
*%%*/