//@flow

{
  const x: {['A' | 'B']: (number) => number} = {[42]: v => v}; // ERROR
}
{
  const x: {['A']: (number) => number} = {[42]: v => v}; // ERROR
}
{
  const x: {...} | {...} = {a: v => v};
}
{
  const x: {[number]: (number) => number} = {[42]: v => v};
}
{
  type StrCb = string => void;
  type NumCb = number => void;
  type Cb = $ReadOnly<{cb?: ?(NumCb | StrCb)}>;
  declare var fn: (config: Cb) => {};
  fn({
    cb: x => {
      x as string | number;
    },
  }); // okay
  fn({
    cb: x => {
      x as string;
    },
  }); // error number ~> string
}
{
  declare var j: {
    mock(moduleFactory?: any): void,
  };
  j.mock(() => ({f: n => {}}));
}
{
  type A<T> = T => void;
  type B<T> = A<T> | A<number>;
  const x: B<string> = x => {
    x as string;
  }; // error number ~> string
}

{
  declare var mixedArray1: Array<string> | Array<number>;
  const list = mixedArray1.slice();
  list.forEach(elem => {
    elem as empty;
  }); // error
}

{
  declare var mixedArray2: Array<empty> | Array<number>;
  const list = mixedArray2.slice();
  list.forEach(elem => {
    elem as empty;
  }); // error
}
