99% of my use of satisfies is to type-check exhaustivity in switch statements: type Foo = 'foo' | 'bar'; const myFoo: Foo = 'foo'; switch (myFoo) { case 'foo': // do stuff break; default: myFoo satisfies never; // Error here because 'bar' not handled } Yeah, the satisfies ope