Type Challenges Judge

Problems

Progress

Subsequence

提出詳細

type Subsequence<T extends any[], Acc extends unknown[] = []> =
  T extends [infer L, ...infer R]
  ? Acc | Subsequence<R, [L] | [...Acc, L] | Acc>
  : Acc
提出日時2025-01-22 11:41:16
問題Subsequence
ユーザーookkoouu
ステータスAccepted
テストケース
import type { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<Subsequence<[1, 2]>, [] | [1] | [2] | [1, 2]>>,
  Expect<Equal<Subsequence<[1, 2, 3]>, [] | [1] | [2] | [1, 2] | [3] | [1, 3] | [2, 3] | [1, 2, 3] >>,
]