汎用オブジェクトを受け入れる単純な関数があります。戻り値の型はそのオブジェクトと同じである必要がありますが、as constアサーションの動作と同様に絞り込まれています。
例えば。以下は、戻り値の型が{ a: "first"; b: "second" }and notである必要があり{ a: string; b: string }ます。
myFn({ a: "first", b: "second" });
myFn戻り値の型が最初の引数の型であることを型チェッカーに指示できるメカニズムはありますか?