Type Challenges Judge

Problems

Progress

If

提出詳細

type If<K extends Boolean, T, F> = K  extends true ? T : F
提出日時2024-10-28 07:50:46
問題If
ユーザーbalckowl
ステータスAccepted
テストケース
import type { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<If<true, 'a', 'b'>, 'a'>>,
  Expect<Equal<If<false, 'a', 2>, 2>>,
]

// @ts-expect-error
type error = If<null, 'a', 'b'>