[edflsafoiewq]

No it isn't. Again, switch can build irreducible control flow, match cannot. This code

    switch (x) {
    case 0:
        while (i < l) {
            s *= i;
    case 1:
            i += 1;
        }
    }

cannot be rewritten with a simple match. You'd have to reloop the CFG.