Native version fails to format record patterns in switches if the first nested pattern is final #1257

class Main {
    void test() {
        switch (test) {
            case Test(final var x, final var y) -> {}
        }
    }
}

class Main {
    void test() {
        switch (test) {
            case Test(var x, final var y) -> {}
        }
    }
}

class Main {
    void test() {
        if (test instanceof Test(final var x, final var y)) {}
    }
}