Type Challenges Judge

Problems

Progress

Awaited

提出詳細

type MyAwaited<T extends Promise<any>> =
  T extends Promise<infer P>
    ? P extends Promise<any> 
      ? MyAwaited<P>
      : P
    : never
提出日時2023-08-29 10:58:38
問題Awaited
ユーザーsnaka
ステータスAccepted
テストケース
import type { Equal, Expect } from '@type-challenges/utils'

type X = Promise<string>
type Y = Promise<{ field: number }>
type Z = Promise<Promise<string | number>>

type cases = [
  Expect<Equal<MyAwaited<X>, string>>,
  Expect<Equal<MyAwaited<Y>, { field: number }>>,
  Expect<Equal<MyAwaited<Z>, string | number>>,
]

// @ts-expect-error
type error = MyAwaited<number>