switch exhaustiveness check not working within deconstruction pattern

Offen

#1,260 erstellt am 14.11.2022 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 4/5
Geschätzter Aufwand: 3-5 Tage
Anfängerfreundlichkeit: 35/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Veraltet
Tech-Stack: java, vscode
Bereich: devtools

Rechercherichtung

Reproduziere den verschachtelten Deconstruction-Pattern-Switch aus dem Issue in der aufgeführten VS Code- und Java-Umgebung und vergleiche die Extension-Diagnose mit reinem javac. Verfolge, wo die Diagnose „A switch expression should have a default case“ erzeugt wird. Als erledigt gilt die Aufgabe, wenn das exhaustive Beispiel ohne diese Diagnose kompiliert wird, während tatsächlich nicht exhaustive Switches sie weiterhin melden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

ai-triaged bug compile

Build fails on missing default case, even though switch is exhaustive.

Environment

Operating System: Windows 10
JDK version: 19
Visual Studio Code version: 1.73.1
Java extension version: 1.12.0
Java Debugger extension version: 0.46.0

Steps To Reproduce

make (exhaustive) switch expression with nested deconstruction pattern
build fails -> "Add default case"

Example:

package dev.redio;

import static dev.redio.Main.Activity.*;

public class Main {

    public static void main(String[] args) {
        record Pair(boolean weekend, Activity activity) {}
        var pair = new Pair(true, new Sleeping(8));
        var msg = switch (pair) {   // <- A switch expression should have a default caseJava(1073743531)
            case Pair(boolean b, Sleeping s) -> "3";
            case Pair(boolean b, Skiing s) -> "4";
            case Pair(boolean b, Coding c) -> "5";
        };
        
        System.out.println(msg);
    }

    sealed interface Activity {
        record Sleeping(int hours) implements Activity {}
        record Skiing(String resort) implements Activity {}
        record Coding() implements Activity {}
    }
    
}

Current Result

Build Error (A switch expression should have a default caseJava(1073743531))

Expected Result

Build Success(Switch is exhaustive since all nested deconstruction possibilities are covered)

Additional Informations

Compiles with pure javac without errors
Intended and correct syntax confirmed by member of development team of the feature.

Vorherrschende Sprache: TypeScript
Sterne: 591
Forks: 429
Ø Merge: 1 T. 3 Std.
Gemergte PRs (30 T.): 19

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus microsoft/vscode-java-debug

Debugger for Java impede a criação do launch.json e trava a configuração de depuração Offen

ai-triaged bug

microsoft/vscode-java-debug#1703 · 1 Kommentar · 1 Reaktion · 1 zugewiesene Person · Erstellt am 23.9.2026
Add option to disable no-config debugging Offen

ai-triaged enhancement

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100

microsoft/vscode-java-debug#1689 · 2 Kommentare · Erstellt am 06.9.2026
Extension appends malformed string to PATH Offen

ai-triaged bug

microsoft/vscode-java-debug#1666 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 05.8.2026
Run action hangs at "Resolving main class..." with no further response Offen

ai-triaged bug

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

microsoft/vscode-java-debug#1658 · 1 Kommentar · Erstellt am 23.7.2026
Debugger => Some variable content popup issues Offen

ai-triaged enhancement

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

microsoft/vscode-java-debug#1628 · 3 Kommentare · Erstellt am 17.4.2026

Alle Issues in microsoft/vscode-java-debug