@swift-main @swift-5.9.2 @swift-5.10 func f() throws -> String { "" } let _ = try switch f() { default: "" }