test/tint/switch/switch_only_default.wgsl

fn a() {
    var a = 0;
    switch(a) {
        default: {
            return;
        }
    }
}