basic.js

/* @flow */

type A = { a: string };
type B = { b: number };

type U = A | B;
type I = A & B;

// Union types
({ a: 'a' }: U);
({ b: 1 }: U);
({ a: 'a', b: 1 }: U);
({ a: 'a', b: 1, c: true }: U);
({ c: true }: U); // Error!

// Intersection types
({ a: 'a', b: 1 }: I);
({ a: 'a', b: 1, c: true }: I);
({ a: 'a' }: I);  // Error!
({ b: 1 }: I);    // Error!
({ c: true }: I); // Error!