Challenge

In Type Challenges, we use the type system itself to do the assertion.

For this challenge, you will need to change the following code to make the tests pass (no type check errors).

// expected to be string
type HelloWorld = any;

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

Solution

This challenge is a warm-up challenge to get familiar with their playground, how to take challenges and other stuff. All we asked to do here is literally to set the type of string instead of any:

type HelloWorld = string;

References