Type Challenges Judge

Problems

Progress

Ranking

Subsequence

提出詳細

type Subsequence<T> = T extends [infer Head] ? [] | [Head] : T extends [infer Head, ...infer Tail]
  ? Subsequence<Tail> | [Head, ...Subsequence<Tail>] : never
提出日時2022-06-24 02:45:07
問題Subsequence
ユーザーcisdur
ステータス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] >>,
]