Type Challenges Judge

Problems

Progress

Ranking

Awaited

提出詳細

type MyAwaited<T extends Promise<unknown>> =
  T extends Promise<infer P0>
    ? P0 extends Promise<infer P1> 
      ? P1
      : P0
    : never
提出日時2023-08-29 04:27:32
問題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>