課題

Type Challenges では、型システム自体を使用してアサーションをおこないます。

この課題では、以下のコードを変更して (型チェックエラーなしで) テストをパスさせる 必要があります。

// expected to be string
type HelloWorld = any;

// you should make this work
type test = Expect<Equal<HelloWorld, string>>;

解答

この課題は、プレイグラウンドの使い方や課題への取り組み方などに慣れるためのウォー ムアップです。ここで求められていることは、any の代わりに string を指定するこ とだけです:

type HelloWorld = string;

参考