exhausting switch

test.ts

type Book = "dune" | "snowcrash" | "dune2"

const b: Book = Math.random() > 0.5 ? "dune" : "snowcrash"

function f() {
    switch (b) {
        case "dune":
            return 0
        case "snowcrash":
            return 0
        case "dune2":
            return 0
        default:
            b satisfies never
            return 0

    }
}