Type Challenges Judge

Problems

Progress

Hello World

提出詳細

type HelloWorld = string // expected to be a string

/* _____________ Test Cases _____________ */

import type { Equal, Expect, NotAny } from '@type-challenges/utils'

type cases = [
  Expect<NotAny<HelloWorld>>,
  Expect<Equal<HelloWorld, string>>,
]
提出日時2024-03-22 06:46:17
問題Hello World
ユーザーouseijin
ステータスJudging
テストケース
import type { Equal, Expect, NotAny } from '@type-challenges/utils'

type cases = [
  Expect<NotAny<HelloWorld>>,
  Expect<Equal<HelloWorld, string>>,
]