[expect-type] Bug with very deep type equality checking

[papb]

Playground

import type { Equal } from 'expect-type';

type T1 = Equal<
    () => { a?: () => { a: [{ b: [string, { c: string }] }] } },
    () => { a?: () => { a: [{ b: [string, { c: string; d?: number }] }] } }
>;
//=> true

[mmkal]

Very late response - this might be due to this TypeScript bug in 4.5.5+, but it's possible the library can work around the issue somehow. Will keep this open.

Edit: forgot the link: microsoft/TypeScript#50670