> For the complete documentation index, see [llms.txt](https://docs.tsafe.dev/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.tsafe.dev/equals.md).
# Equals
Let you test if two types are the same
### Type level testing
[Playground](https://stackblitz.com/edit/typescript-rfpzav?file=index.ts\&view=editor)
A less trivial example: [The code](https://github.com/codegouvfr/react-dsfr/blob/main/src/lib/spacing.ts) and it's [corresponding test file](https://github.com/codegouvfr/react-dsfr/blob/main/test/types/spacing.ts).
{% hint style="info" %}
If you are writing tests for your type, you definitely want to checkout [`//@ts-expect-error`](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-9.html#-ts-expect-error-comments)
{% endhint %}
### Making sure that a zod schema validates a given type
[Playground](https://stackblitz.com/edit/typescript-eheop6?file=index.ts\&view=editor)
```typescript
import { z } from "zod";
import { assert, type Equals } from "tsafe/assert";
import { id } from "tsafe/id";
type Xyz= // ...
const zXyz = (()=>{
type TargetType = Xyz;
const zTargetType = z.;
type InferredType = z.infer;
assert>;
return id>(zTargetType);
})();
```
### Making sure all cases of a switch are dealt with
[Playground](https://stackblitz.com/edit/typescript-ryj2ba?file=index.ts\&view=editor)
