Discriminated union not discriminated when the union type is produced by a type guard #19904

// two types discriminated by boolean tag
type Foo = {isFoo: true, foo: string};
type Bar = {isFoo?: false, bar: string};

type Union = Foo | Bar;

declare const a: Union;

// works as expected
if (a.isFoo) {
  a.foo;  // ok
  a.bar;  // error
} else {
  a.foo;  // error
  a.bar;  // ok
}

// doesn't work inside type guard though
type Any = {isFoo?: boolean};
declare function isUnion(t: Any): t is Union;

declare const b: Any;
if (isUnion(b)) {
  // b is Union
  if (b.isFoo) {
    b.foo;  // error
    b.bar;  // error
  } else {
    b.foo;  // error
    b.bar;  // error
  }
  
  // works with newly assigned variable
  const c = b;
  if (c.isFoo) {
    c.foo;  // ok
    c.bar;  // error
  } else {
    c.foo;  // error
    c.bar;  // ok
  }
}