c.js

// @flow

type A = {
  x: number,
  y: number,
  type: "A"
};

type B = {
  x: number,
  type: "B"
};

type X = A | B;

const f = (x: X): number => {
  if (x.type === "A") {
    return x.y;
  } else if (x.type === "B") {
    return x.x;
  } else if (x.type === "C") {
    // これは型エラーになって欲しい
    return x.z;
  } else {
    return 0;
  }
};

console.log(f({ type: "B", x: 1 }));