typescript 可以在没有`as const`的情况下推断字符串文字类型

Question

为了让 js 能够很好地使用 api，如何让编译器在不使用as const的情况下推断"bar"类型而不是string 。

declare function define<T>(
  options: {
    foo: string;
    bar: T;
  }
): void;

declare function create<T>( cmd: T ): T;

define( {
  foo: "foo",
  bar: create( "bar" ) // It still string, instead of "bar"
} );

操场

Answer 1

如this answer中所述， util 类型可以提供帮助：

type StringLiteral<T> = T extends string ? string extends T ? never : T : never;

declare function define<T>(
  options: {
    foo: string;
    bar: StringLiteral<T>;
  }
): void;