Type Challenges Judge

Problems

Progress

Ranking

Awaited

提出詳細

type MyAwaited<T extends PromiseLike<any>> =
 T extends PromiseLike<infer U> ?
  (U extends PromiseLike<any> ? MyAwaited<U> : U) : never
提出日時2023-09-12 17:48:35
問題Awaited
ユーザーsankantsu
ステータス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>