javac should produce a compile-time error for code like:
---
    switch (Object o) {
        case String s when false -> {}
        default -> {}
    }
--