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

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