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:

Riproduci l'esempio autonomo di enum e union con il punto di ingresso dalla riga di comando di tsc e conferma il comportamento errato di narrowing. Traccia il modo in cui il compilatore controlla i confronti tra enum e membri di union, quindi aggiungi una copertura che mostri che il caso Crab non può accedere alle proprietà di IFish e che il comportamento previsto segnalato venga applicato.