Hello, World!
Type Challenges では、型システム自体を使用してアサーションを実行します。
この課題では、次のコードを変更してテストに合格する必要があります（型チェックエラーなし）。
// expected to be string
type HelloWorld = any
// you should make this work
type test = Expect<Equal<HelloWorld, string>>
「挑戦する」ボタンをクリックしてコーディングを開始してください！ Happy Hacking！
import type { Equal, Expect, NotAny } from '@type-challenges/utils'
type cases = [
Expect<NotAny<HelloWorld>>,
Expect<Equal<HelloWorld, string>>,
]