export type Expect<T extends true> = T;