Adaptando o exemplo da publicação, não ficou claro para mim também, porque é possível fazer isso no TypeScript 4.8.4:

type RGB = [red: number, green: number, blue: number];
type Color = RGB | string;

const myColor: Color = 'blue'; // ok
const myIncorrectColor: Color = 420; // erro

myColor.toUpperCase(); // ok

_Playground

Mas lendo o issue sobre essa feature, descobri um cenário que parece fazer sentido. Por exemplo:

type Keys = 'a' | 'b' | 'c' | 'd';

const p = {
    a: 0,
    b: "hello",
    x: 8 // erro
} satisfies Partial<Record<Keys, unknown>>;

let a = p.a.toFixed(); // ok, a = number
let b = p.b.substr(1); // ok, b = string
let d = p.d; // erro

_Playground

type Keys = 'a' | 'b' | 'c' | 'd';

const p: Partial<Record<Keys, unknown>> = {
    a: 0,
    b: "hello",
    x: 8 // erro
};

let a = p.a.toFixed(); // erro, mas deveria funcionar
let b = p.b.substr(1); // erro, mas deveria funcionar
let d = p.d; // funcionou, mas deveria dar erro

_Playground

E tem uma discussão bem mais profunda na issue com vários exemplos.