Inference

TypeScript satisfies: Type Safety Without Losing Inference

The satisfies operator validates that a value matches a type while preserving literal inference — why that distinction matters and where to apply it.