Jongsun Suh

@AbePlays The `V extends O[K]` check isn't needed to pass all test cases (as of Nov 16 2022). ```typescript type Chainable = { option(key: K extends keyof O ? never...

Updated solution for new test case: ```ts type newTestCase = Expect type IsUnion = [T] extends [never] ? false : T extends T ? [C] extends [T] ? false :...

Update for new test case. ```typescript Expect type Pop = T["length"] extends 0 ? [] : T extends [...infer H, infer T] ? H : never ```

Alternatively, ```typescript type Pop = T extends [...infer H, infer _] ? H : [] ```

Update for new test case: ```typescript // @ts-expect-error AppendArgument type AppendArgument = Fn extends (...args: infer P) => infer R ? (...args: [...P, A]) => R : never ```

Another simple repro focusing on the inconsistent behavior of `typeof` vs. `infer`/`Parameters`/`ReturnType` on overloaded functions. ```ts repro /** overload signature 1 */ function overloadedFunction( stringArg: string, ): Record; /** overload...

There's also the question of what `InferKeyword` in the above example should evaluate to. Currently, it would probably be an expression of the implementation signature, even though only overload signatures...

Main branch CI run just failed due to this bug: https://github.com/MetaMask/core/actions/runs/8272378535/job/22634139461

@SocketSecurity ignore npm/[email protected] New maintainer is a member of the vscode team and maintainer of 96 npm packages, many of them under the `@microsoft/` namespace. @SocketSecurity ignore npm/@lavamoat/[email protected] Internal package...

Hi! I noticed that all of the `eslint-disable` directives and TODOs for converting interfaces to type aliases have been removed in this PR. The shared libraries team relies on those...