Homa Wong

Another thing is, should the `Nothing` type be exposed? Right now I have to access it through `typeof nothing`

> Would you mind to add the test file indeed, testing both the type inference and runtime behavior of the utility? Sure, do you mind I add `type-plus` to the...

Also, looking at the PR again, it turns out the type is actually not exported. Will need to fix that. The circular dependency is also an issue. Maybe I can...

I'll check that out. Thx

Hi, yes I just get back to this. I have tried the `spec.ts` and `// @ts-expected-error` and saw how you use it: ```ts // @ts-expect-error assert(value, _ as Nothing) //...