// @flow

import {
  type RecordOf,
} from "immutable";

type T1Props = {
  type: "t1",
  stuff: string
};
type T2Props = {
  type: "t2",
  stuff: string,
  moreStuff: string
};
type T1 = RecordOf<T1Props>;
type T2 = RecordOf<T2Props>;

function someFunc(test: T1 | T2) {
  if (test.type === "t2") {
    // Cannot get `test.moreStuff` because: Either property `moreStuff` is missing in  `RecordInstance` [1]. Or property `moreStuff` is missing in  `T1Props` [2]
    console.log(test.moreStuff);
  }

  // all branches are incompatible: Either property `moreStuff` is missing in  `RecordInstance` [1]. Or property `moreStuff` is missing in  `T1Props` [2].
  if (test.moreStuff) {
    console.log("We have t2");
  }
}