narrowing in switch doesn't work with non-union types

class A {
    readonly kind = 'a';
}
type U = A; // <-- supposed to be a single case union
declare var u: U;
declare function never(never: never): never;
function fn() {
    switch (u.kind) {
        case 'a': return 1;
        default: return never(u); // <-- u expected to be never, actually is A
    }
}

提供された TypeScript の再現コードから始め、switch ベースの narrowing と exhaustiveness に関する型チェックの経路を調べてください。default ブランチが u を never ではなく A として受け入れるか確認し、その後、単一ケースの union が正しく narrowing されることを示す回帰テストを追加または更新してください。