Why is this not an error?

[anselmschueler (Anselm Schüler)]

When I write

let x: Int
switch x {
    default:
        print("x")
}

I get this error: error: constant 'x' used before being initialized

When I write

let x: Never
print(x)

I get this error: error: constant 'x' used before being initialized

But when I write

let x: Never
switch x {
    default:
        print("x")
}

I don’t get an error, but running the program results in a crash.

Why is this?

[anselmschueler (Anselm Schüler)]

Also, I would like to express that I was delighted by the excellent crash interface.

[xwu (Xiaodi Wu)]

@anselmschueler

I don’t get an error, but running the program results in a crash.

Sounds like a bug in the compiler! Can you file an issue to have it triaged?

[anselmschueler (Anselm Schüler)]

I have filed an issue.