Docs: NoInfer

[Beraliv]

What

NoInfer was introduced in TypeScript 5.4 and prohibits inferring literals

It needs to be documented in ts-essentials for completeness

Examples

declare function createFSM<TState extends string>(config: {
  initial: NoInfer<TState>;
  states: TState[];
}): TState;

createFSM({
  // Type '"not-allowed"' is not assignable to type '"open" | "closed"' 🔴
  initial: "not-allowed",
  states: ["open", "closed"],
});

createFSM({
  initial: "initial",
  states: ["initial", "open", "closed"],
});

Additional Info

https://www.totaltypescript.com/noinfer