``` ts enum E {} enum V {} var x: number|E|V; if (typeof x === "number") { x; // Should be number|E|V, but is just number } ```