Discriminated Unions

Using a common literal tag to narrow union members.

In a union `{ kind: "circle"; r: number } | { kind: "square"; s: number }`, what makes it a discriminated union?