Checking union type where key is enum tricks compiler

TypeScript Version: 3.9.2

Search Terms:
enum refinement
checking interface enum

Code

// A *self-contained* demonstration of the problem follows...
// Test this by running `tsc` on the command-line, rather than through another build tool such as Gulp, Webpack, etc.
enum Fish {
    blue= 1,
    red= 2
}

enum Crab {
    purple= 2
}

interface IFish {
    type: Fish,
    name: string,
}

interface ICrab {
    type: Crab,
    shell: string
}

const crab = {type: Crab.purple, shell: "hard"}

function determineAnimal(animal: ICrab | IFish) {
    if (animal.type === Fish.red) {
        console.log("fish")
        console.log(animal.name)
    } else if (animal.type === Crab.purple) {
        console.log("crab")
        console.log(animal.shell)
    } else {
        console.log("fell through")
    }
}

determineAnimal(crab)

Expected behavior: The program does not typecheck because checking against the enum does not prove the animal is an IFish

Actual behavior: The program typechecks and incorrectly determines the type of the crab, logging undefined.

Playground Link: link

Related Issues:

tsc のコマンドラインエントリーポイントを使って自己完結した enum と union の例を再現し、誤った narrowing の挙動を確認します。コンパイラーが enum と union メンバーの比較をどのように検査するかを追跡し、Crab ケースから IFish プロパティにアクセスできないことと、報告された期待される挙動が適用されることを示すカバレッジを追加します。