如何键入函数的 arguments 但保留返回类型“推断”？

Question

Below I have two functions originalhelloWorld which is untyped and helloWorld which has a type. You can see that the return of type o returns the "inferred" return type (what is the name for this), and type x returns "any".

How can I have the ExampleFunction type the functions arguments but leave the return type inferred? I've tried several combinations of generics, and nothing seems to work.

Typescript Playground

const originalhelloWorld = (greeting: string | boolean) => {
   if (typeof greeting === 'boolean') return greeting
   return `hello ${greeting}`
}

type o = ReturnType<typeof originalhelloWorld>
//  ^? type o = string | boolean

/* ------------------------------------ */

type ExampleFunction = (greeting: string | boolean) => any

const helloWorld: ExampleFunction = (greeting) => {
   if (typeof greeting === 'boolean') return greeting
   return `hello ${greeting}`
}

type x = ReturnType<typeof helloWorld>
//  ^? type x = any

Answer 1

The new satisfies operator in typescript 4.9 works:

Playground Link:

const originalhelloWorld = (greeting: string | boolean) => {
   if (typeof greeting === 'boolean') return greeting
   return `hello ${greeting}`
}

type o = ReturnType<typeof originalhelloWorld>
//  ^?

/* ------------------------------------ */

type ExampleFunction = (greeting: string | boolean) => any

const helloWorld = ((greeting) => {
   if (typeof greeting === 'boolean') return greeting
   return `hello ${greeting}`
}) satisfies ExampleFunction

type x = ReturnType<typeof helloWorld>
//  ^?